Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems
Graduate School of Engineering Science, Osaka University, Osaka, 563-0023, Japan.
Laboratoire des Signaux et Systmes, Paris-Saclay, Paris, France. Laboratoire Spcification Vrification, CNRS, Paris-Saclay, Paris, 91400, France.
Principles of Informatics Research Division, National Institute of Informatics, Tokyo, 101-8430, Japan.
Graduate School of Engineering Science, Osaka University, Osaka, 563-0023, Japan.
Show others and affiliations
2019 (English)In: IEEE Control Systems Letters, ISSN 2475-1456, Vol. 3, no 4, p. 1050-1055, article id 8733077Article in journal (Refereed) Published
Abstract [en]

In this letter, we investigate novel self-triggered controllers for nonlinear control systems with reachability and safety specifications. To synthesize the self-triggered controller, we leverage the notion of symbolic models, or abstractions, which represent abstracted expressions of control systems. The symbolic models will be constructed through the concepts of approximate alternating simulation relations, based on which, and by employing a reachability game, the self-triggered controller is synthesized. We illustrate the effectiveness of the proposed approach through numerical simulations.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2019. Vol. 3, no 4, p. 1050-1055, article id 8733077
Keywords [en]
reachability and safety, Self-triggered control, symbolic models, Abstracting, Controllers, Alternating simulation, Reachability, Safety specifications, Self-triggered controls, Symbolic model, Networked control systems
National Category
Control Engineering
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-263558DOI: 10.1109/LCSYS.2019.2921616Scopus ID: 2-s2.0-85067867636OAI: oai:DiVA.org:kth-263558DiVA, id: diva2:1373334
Note

QC 20191126

Available from: 2019-11-26 Created: 2019-11-26 Last updated: 2019-11-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Dimarogonas, Dimos V.

Search in DiVA

By author/editor
Dimarogonas, Dimos V.
By organisation
Decision and Control Systems (Automatic Control)
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 21 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf