On Synthesizing Controllers from Bounded-Response Properties
From MaRDI portal
Publication:5429317
DOI10.1007/978-3-540-73368-3_12zbMath1135.68477MaRDI QIDQ5429317
Amir Pnueli, Dejan Ničković, Oded Maler
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_12
68Q45: Formal languages and automata
93C65: Discrete event control/observation systems
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems, Synthesizing bounded-time 2-phase fault recovery, Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\), On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections], Compositional Control Synthesis for Partially Observable Systems, Realizability of Real-Time Logics