Reactive synthesis from signal temporal logic specifications
From MaRDI portal
Publication:2988945
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
Cites work
- scientific article; zbMATH DE number 1638973 (Why is no real title available?)
- Continuous system simulation
- Hybrid Systems: Computation and Control
- On fixed points of strictly causal functions
- Requirements for hybrid cosimulation standards
- THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
Cited in
(40)- Back-propagation through signal temporal logic specifications: infusing logical structure into gradient-based methods
- STL model checking of continuous and hybrid systems
- Realizability modulo theories
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- scientific article; zbMATH DE number 1759605 (Why is no real title available?)
- 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
- On the timed temporal logic planning of coupled multi-agent systems
- Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
- 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
- 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
- A symbolic algorithm for lazy synthesis of eager strategies
- Reactive synthesis with maximum realizability of linear temporal logic specifications
- 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
- Accelerating parameter synthesis using semi-algebraic constraints
- Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
- Multi-Requirement Testing Using Focused Falsification
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)
