Template-Based Controller Synthesis for Timed Systems

DOI10.1007/978-3-642-28756-5_27zbMath1352.68128OpenAlexW99048994MaRDI QIDQ2894283

Bernd Finkbeiner, Hans-Jörg Peter

Publication date: 29 June 2012

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_27

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Verification and Control of Partially Observable Probabilistic Real-Time Systems, Verification and control of partially observable probabilistic systems, State feedback control of real-time discrete event systems with infinite states

Uses Software

• Uppaal
• UPPAAL TIGA
• Synthia