Synthesis of Reactive Switching Protocols From Temporal Logic Specifications

DOI10.1109/TAC.2013.2246095MaRDI QIDQ5353268zbMATH OpenDBLPWikidataFDO

Authors Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray

Publication date 8 September 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2013.2246095

Mathematics Subject Classification ID

Adaptive control/observation systems (93C40) Temporal logic (03B44) Network protocols (68M12)

Cited in

(23)

• Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
• A Dynamical System for Prioritizing and Coordinating Motivations
• Quantitative Model Checking for a Controller Design
• Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
• A design of GPU-based quantitative model checking
• Augmented finite transition systems as abstractions for control synthesis
• Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
• Finite abstractions with robustness margins for temporal logic-based control synthesis
• An improved algorithm for the control synthesis of nonlinear sampled switched systems
• Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
• Formal controller synthesis from specifications given by discrete-time hybrid automata
• Symbolic solution of Emerson-Lei games for reactive synthesis
• Global view on reactivity: switch graphs and their logics
• Sampling polynomial trajectories for LTL verification
• Set-based control for disturbed piecewise affine systems with state and actuation constraints
• Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
• On the existence of homoclinic orbits in \(n\)-dimensional piecewise affine systems
• Assured learning-enabled autonomy: a metacognitive reinforcement learning framework
• First steps toward formal controller synthesis for bipedal robots with experimental implementation
• Automated generation of dynamics-based runtime certificates for high-level control
• Finite abstraction of mixed monotone systems with discrete and continuous inputs
• A bounded model checking technique for discrete-time nonlinear systems

This page was built for publication: Synthesis of Reactive Switching Protocols From Temporal Logic Specifications

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