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
Detectability of nondeterministic finite-transition systems
KTH, School of Electrical Engineering and Computer Science (EECS), Centres, ACCESS Linnaeus Centre.
2020 (English)In: QC 20191206, Springer International Publishing , 2020, p. 165-175Chapter in book (Refereed)
Abstract [en]

In the past few years, important applications of nondeterministic finite-transition systems (NFTSs) in formal verification and synthesis of (infinite-state) continuous (or hybrid) control systems have been witnessed (Tabuada 2009; Belta et al. 2017; Kloetzer and Belta 2008; Reissig 2011; Zamani 2014; Girard and Pappas 2007). In this methodology, the requirements or specifications for the control systems are described using temporal logics or automata Baier and Katoen (2008). Then, one constructs finite and often nondeterministic abstractions (NFTSs) of the control systems with the property that discrete (or symbolic) controllers designed on the abstractions by using automata-theoretic algorithms from computer science can be refined into controllers on the original control systems to make the requirements be met.

Place, publisher, year, edition, pages
Springer International Publishing , 2020. p. 165-175
Keywords [en]
Abstracting, Automata theory, Control system synthesis, Controllers, Detectability, Infinite state, Transition system, Computer control systems
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-263442DOI: 10.1007/978-3-030-25972-3_8Scopus ID: 2-s2.0-85070566530OAI: oai:DiVA.org:kth-263442DiVA, id: diva2:1375995
Note

QC 20191206

Available from: 2019-12-06 Created: 2019-12-06 Last updated: 2019-12-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Zhang, Kuize

Search in DiVA

By author/editor
Zhang, Kuize
By organisation
ACCESS Linnaeus Centre
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 38 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