On Synthesizing Controllers from Bounded-Response Properties

DOI10.1007/978-3-540-73368-3_12zbMath1135.68477OpenAlexW1574125125MaRDI QIDQ5429317

Amir Pnueli, Oded Maler, Dejan Ničković

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections] ⋮ Compositional Control Synthesis for Partially Observable Systems ⋮ 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}\) ⋮ Checking Temporal Properties of Discrete, Timed and Continuous Behaviors ⋮ Realizability of Real-Time Logics ⋮ \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)

This page was built for publication: On Synthesizing Controllers from Bounded-Response Properties