Reactive synthesis from signal temporal logic specifications
From MaRDI portal
Publication:2988945
DOI10.1145/2728606.2728628zbMath1366.68180OpenAlexW2095274657WikidataQ59813843 ScholiaQ59813843MaRDI QIDQ2988945
Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Vasumathi Raman, Sanjit A. Seshia
Publication date: 19 May 2017
Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://authors.library.caltech.edu/57535/
Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
An automated system repair framework with signal temporal logic, Trajectory planning under environmental uncertainty with finite-sample safety guarantees, Data-driven verification of stochastic linear systems with signal temporal logic constraints, Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions, Extracting counterexamples induced by safety violation in linear hybrid systems, Real-time policy enforcement with metric first-order temporal logic, Multi-Requirement Testing Using Focused Falsification, Optimal mixed discrete-continuous planning for linear hybrid systems, A program logic to verify signal temporal logic specifications of hybrid systems, Model-based reinforcement learning for approximate optimal control with temporal logic specifications, An STL-based Approach to Resilient Control for Cyber-Physical Systems, On the timed temporal logic planning of coupled multi-agent systems, Robust control for signal temporal logic specifications using discrete average space robustness, Safe autonomy under perception uncertainty using chance-constrained temporal logic, A survey of challenges for runtime verification from advanced application domains (beyond software), Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks, Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach, A symbolic algorithm for lazy synthesis of eager strategies, Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems, Funnel control for fully actuated systems under a fragment of signal temporal logic specifications, Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Cites Work
