Reactive synthesis from signal temporal logic specifications

DOI10.1145/2728606.2728628zbMATH Open1366.68180DBLPconf/hybrid/RamanDSMS15OpenAlexW2095274657WikidataQ59813843 ScholiaQ59813843MaRDI QIDQ2988945FDOQ2988945

Authors: Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, 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/

Recommendations

• Diagnosis and repair for synthesis from signal temporal logic specifications
• Reactive synthesis with maximum realizability of linear temporal logic specifications
• Duality-based nested controller synthesis from STL specifications for stochastic linear systems
• Compositional synthesis with parametric reactive controllers
• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50) Automated systems (robots, etc.) in control theory (93C85)

Cites Work

• Continuous system simulation
• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards

Cited In (40)

• Back-propagation through signal temporal logic specifications: infusing logical structure into gradient-based methods
• Realizability modulo theories
• STL model checking of continuous and hybrid systems
• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• Title not available (Why is that?)
• Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
• Robust control for signal temporal logic specifications using discrete average space robustness
• Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
• Diagnosis and repair for synthesis from signal temporal logic specifications
• Compositional synthesis with parametric reactive controllers
• Safe autonomy under perception uncertainty using chance-constrained temporal logic
• Duality-based nested controller synthesis from STL specifications for stochastic linear systems
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• An automated system repair framework with signal temporal logic
• Estimator-based reactive synthesis under incomplete information
• Incorporating monitors in reactive synthesis without paying the price
• Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
• Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
• Trajectory planning under environmental uncertainty with finite-sample safety guarantees
• Temporal stream logic: synthesis beyond the Bools
• A program logic to verify signal temporal logic specifications of hybrid systems
• Model-based reinforcement learning for approximate optimal control with temporal logic specifications
• Optimal mixed discrete-continuous planning for linear hybrid systems
• An STL-based Approach to Resilient Control for Cyber-Physical Systems
• On the timed temporal logic planning of coupled multi-agent systems
• Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
• Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
• Robust Controller Synthesis for Duration Calculus
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
• Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
• Automated generation of dynamics-based runtime certificates for high-level control
• Maximum realizability for linear temporal logic specifications
• Real-time policy enforcement with metric first-order temporal logic
• Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS
• A symbolic algorithm for lazy synthesis of eager strategies
• Reactive synthesis with maximum realizability of linear temporal logic specifications
• Accelerating parameter synthesis using semi-algebraic constraints
• Multi-Requirement Testing Using Focused Falsification
• Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates

This page was built for publication: Reactive synthesis from signal temporal logic specifications

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