Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A hybrid barrier certificate approach to satisfy linear temporal logic specifications
KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.ORCID-id: 0000-0001-7309-8086
2018 (engelsk)Inngår i: 2018 Annual American Control Conference (ACC), Institute of Electrical and Electronics Engineers (IEEE), 2018, s. 634-639, artikkel-id 8430795Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Institute of Electrical and Electronics Engineers (IEEE), 2018. s. 634-639, artikkel-id 8430795
Serie
Proceedings of the American Control Conference, ISSN 074-31619
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-234708DOI: 10.23919/ACC.2018.8430795Scopus ID: 2-s2.0-85052595590ISBN: 9781538654286 (tryckt)OAI: oai:DiVA.org:kth-234708DiVA, id: diva2:1246724
Konferanse
2018 Annual American Control Conference, ACC 2018, Wisconsin Center / Hilton Milwauke City CenterMilwauke, United States, 27 June 2018 through 29 June 2018
Merknad

QC 20180910

Tilgjengelig fra: 2018-09-10 Laget: 2018-09-10 Sist oppdatert: 2018-09-10bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Bisoffi, AndreaDimarogonas, Dimos V.

Søk i DiVA

Av forfatter/redaktør
Bisoffi, AndreaDimarogonas, Dimos V.
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 567 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf