Controllers with Minimal Observation Power (Application to Timed Systems)

DOI10.1007/978-3-642-33386-6_19zbMath1374.68255arXiv1207.1276OpenAlexW1593856707MaRDI QIDQ4649298

P. E. Bulychev, Alexandre David, Franck Cassez, Pierre-Alain Reynier, Kim Guldstrand Larsen, Jean-François Raskin

Publication date: 21 November 2012

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.1276

Mathematics Subject Classification ID

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

Uses Software

• QUASY
• UPPAAL TIGA

This page was built for publication: Controllers with Minimal Observation Power (Application to Timed Systems)