Dealing with Nondeterminism in Symbolic Control

DOI10.1007/978-3-540-78929-1_21MaRDI QIDQ3523114zbMATH OpenOpenAlexFDO

Authors Marius Kloetzer, Calin Belta

Publication date 2 September 2008

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.624.6674

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Controllability (93B05)

Recommendations

• Robust abstractions for control synthesis: completeness via robustness for linear-time properties
• Abstraction, discretization, and robustness in temporal logic control of dynamical systems
• Discrete-event control of nondeterministic systems
• Symbolic abstractions for nonlinear control systems via feedback refinement relation
• On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems

Cited in

(9)

• Dynamic hierarchical reactive controller synthesis
• Automated generation of dynamics-based runtime certificates for high-level control
• Learning-based symbolic abstractions for nonlinear control systems
• Effects of controlling parameter on symbolic nonlinear complexity detection
• Time-constrained temporal logic control of multi-affine systems
• LTL receding horizon control for finite deterministic systems
• Abstraction-based control synthesis using partial information
• A modal characterization of alternating approximate bisimilarity
• On fluidization of discrete event models: Observation and control of continuous Petri nets

Describes a project that uses

Uses Software

• LTLCon
• SPIN

This page was built for publication: Dealing with Nondeterminism in Symbolic Control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523114)