Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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 hybrid barrier certificate approach to satisfy linear temporal logic specifications
KTH, School of Electrical Engineering and Computer Science (EECS), Automatic Control.
KTH, School of Electrical Engineering and Computer Science (EECS), Automatic Control.ORCID iD: 0000-0001-7309-8086
2018 (English)In: 2018 Annual American Control Conference (ACC), Institute of Electrical and Electronics Engineers (IEEE), 2018, p. 634-639, article id 8430795Conference paper, Published paper (Refereed)
Abstract [en]

In this work we formulate the satisfaction of a (syntactically co-safe) linear temporal logic specification on a physical plant through a recent hybrid dynamical systems formalism. In order to solve this problem, we introduce an extension to such a hybrid system framework of the so-called eventuality property, which matches suitably the condition for the satisfaction of such a temporal logic specification. The eventuality property can be established through barrier certificates, which we derive for the considered hybrid system framework. Using a hybrid barrier certificate, we propose a solution to the original problem. Simulations illustrate the effectiveness of the proposed method. 2018 AACC.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2018. p. 634-639, article id 8430795
Series
Proceedings of the American Control Conference, ISSN 074-31619
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-234708DOI: 10.23919/ACC.2018.8430795Scopus ID: 2-s2.0-85052595590ISBN: 9781538654286 OAI: oai:DiVA.org:kth-234708DiVA, id: diva2:1246724
Conference
2018 Annual American Control Conference, ACC 2018, Wisconsin Center / Hilton Milwauke City CenterMilwauke, United States, 27 June 2018 through 29 June 2018
Note

QC 20180910

Available from: 2018-09-10 Created: 2018-09-10 Last updated: 2018-09-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Bisoffi, AndreaDimarogonas, Dimos V.

Search in DiVA

By author/editor
Bisoffi, AndreaDimarogonas, Dimos V.
By organisation
Automatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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