On Synthesizing Controllers from Bounded-Response Properties

DOI10.1007/978-3-540-73368-3_12MaRDI QIDQ5429317zbMATH OpenOpenAlexFDO

Authors Oded Maler, Dejan Ničković, Amir Pnueli

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) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete event control/observation systems (93C65)

Recommendations

• Synthesis of bounded controls for nonlinear systems
• Synthesizing Optimally Resilient Controllers
• Synthesizing optimally resilient controllers
• Event-based controller synthesis by bounding methods
• Robust systems. Synthesis of bounded control
• Controller synthesis made real: reach-avoid specifications and linear dynamics
• scientific article; zbMATH DE number 4197861
• Constraint-based controller synthesis in non-deterministic and partially observable domains
• scientific article; zbMATH DE number 862156
• Synthesizing efficient controllers

Cited in

(18)

• \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• Template-based controller synthesis for timed systems
• scientific article; zbMATH DE number 1820093 (Why is no real title available?)
• On construction of safety signal automata for \(\mathrm{MITL}[\mathcal{U},\mathcal{S}]\) using temporal projections
• Compositional Control Synthesis for Partially Observable Systems
• Realizability of real-time logics
• CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
• scientific article; zbMATH DE number 1956553 (Why is no real title available?)
• A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Controller Synthesis for MTL Specifications
• Controller synthesis made real: reach-avoid specifications and linear dynamics
• Taming large bounds in synthesis from bounded-liveness specifications
• Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
• Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion
• Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion
• Synthesizing bounded-time 2-phase fault recovery

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429317)