Dealing with Nondeterminism in Symbolic Control
From MaRDI portal
Publication:3523114
DOI10.1007/978-3-540-78929-1_21zbMath1143.68488OpenAlexW1518436864MaRDI QIDQ3523114
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
Controllability (93B05) 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)
Related Items (7)
LTL receding horizon control for finite deterministic systems ⋮ Abstraction-based control synthesis using partial information ⋮ Dynamic hierarchical reactive controller synthesis ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Time-constrained temporal logic control of multi-affine systems ⋮ On fluidization of discrete event models: Observation and control of continuous Petri nets
Uses Software
This page was built for publication: Dealing with Nondeterminism in Symbolic Control
