Reactive synthesis from signal temporal logic specifications

No abstract is available for this paper.

• Publication year

  2015

• Venue

  International Conference on Hybrid Systems: Computation and Control

• Publication date

  2015-04-14

• Fields of study

  Computer Science, Engineering, Environmental Science

• Identifiers
  DOI 10.1145/2728606.2728628
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Predictive Control for Signal Temporal Logic Specification

  2017influential reference
• Formal Modeling and Analysis of Timed Systems

  2016cited by this paper
• Controlling Energy-Efficient Buildings in the Context of Smart Grid: A Cyber Physical System Approach

  2014cited by this paper
• Building Efficiency and Sustainability in the Tropics ( SinBerBEST ) Title Model Predictive Control Approach to Online Computation of Demand-Side Flexibility of Commercial Buildings HVAC Systems for Supply Following Permalink

  2014cited by this paper
• LTL receding horizon control for finite deterministic systems

  2014cited by this paper
• Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems

  2014cited by this paper
• Optimization-based trajectory generation with linear temporal logic specifications

  2014cited by this paper
• A Contract-Based Methodology for Aircraft Electric Power System Design

  2014cited by this paper
• Syntax-guided synthesis

  2013cited by this paper
• Controlling Energy-Efficient Buildings in the Context of Smart Grid: A Cyber Physical System Approach

  2013influential reference
• Temporal logic model predictive control for discrete-time systems

  2013cited by this paper
• On the Robustness of Temporal Properties for Stochastic Models

  2013cited by this paper
• Mining Requirements From Closed-Loop Control Models

  2013cited by this paper
• Receding Horizon Temporal Logic Planning

  2012influential reference
• Linear temporal logic vehicle routing with applications to multi‐UAV mission planning

  2011cited by this paper
• Robust Satisfaction of Temporal Logic over Real-Valued Signals

  2010cited by this paper
• Temporal logic motion planning for dynamic robots

  2009cited by this paper
• Sampling-based motion planning with deterministic μ-calculus specifications

  2009cited by this paper
• Vehicle Routing Problem with Metric Temporal Logic Specifications

  2008cited by this paper
• LTLC: Linear Temporal Logic for Control

  2008cited by this paper
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

  2008cited by this paper
• Robust Sampling for MITL Specifications

  2007cited by this paper
• Combinatorial sketching for finite programs

  2006cited by this paper
• Counterexample-guided Planning

  2005cited by this paper
• Monitoring Temporal Properties of Continuous Signals

  2004cited by this paper
• Online Control Customization via Optimization‐Based Control

  2003influential reference
• Symbolic Model Checking without BDDs

  1999cited by this paper
• Control of systems integrating logic, dynamics, and constraints

  1999cited by this paper
• journal homepage: www.elsevier.com/locate/tcs

  year unknowncited by this paper

• Risk-Aware Rulebooks for Multi-Objective Trajectory Evaluation under Uncertainty

  2026cites this paper
• Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic

  2026cites this paper
• Sequential Decomposition and Dynamic Activation for UAV Motion Planning Under STL Specifications

  2025cites this paper
• Optimal Control for Industrial Multi-Component CPS via Path-Encoding-Based Joint Optimization

  2025cites this paper
• Approximation-Free Control for Signal Temporal Logic Specifications Using Spatiotemporal Tubes

  2025cites this paper
• Runtime Enforcement of CPS against Signal Temporal Logic

  2025cites this paper
• Collaborative Safety-Critical Control in Coupled Networked Systems

  2025cites this paper
• Towards Tighter Convex Relaxation of Mixed-integer Programs: Leveraging Logic Network Flow for Task and Motion Planning

  2025cites this paper
• Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes

  2025cites this paper
• STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle

  2025cites this paper
• Optimal On-the-Fly Route Planning With Rich Transportation Requests

  2025cites this paper
• TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

  2025cites this paper
• Logic-based Resilience Computation of Power Systems Against Frequency Requirements

  2025cites this paper
• Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics

  2025cites this paper
• GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning

  2025cites this paper
• Trustworthy Machine Learning in the Era of Foundation Models

  2025cites this paper
• A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems

  2025cites this paper
• Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems

  2025cites this paper
• RLRom: Monitoring and Training Reinforcement Learning Agents using Signal Temporal Logic

  2025cites this paper
• Realizability modulo theories

  2024cites this paper
• Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout

  2024cites this paper
• Decomposition-Based Chance-Constrained Control for Timed Reach-Avoid Tasks

  2024cites this paper
• Switching Controller Synthesis for Hybrid Systems Against STL Formulas

  2024cites this paper
• Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)

  2024cites this paper
• Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics

  2024cites this paper
• Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation

  2024cites this paper
• On Input Generators for Cyber–Physical Systems Falsification

  2024cites this paper
• Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints

  2024cites this paper
• Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications

  2024influential citation
• Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights

  2024cites this paper
• Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

  2024cites this paper
• Learning Temporal Logic Predicates from Data with Statistical Guarantees

  2024cites this paper
• Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic

  2024cites this paper
• Self-Triggered Model Predictive Control for Signal Temporal Logic Tasks

  2024cites this paper
• Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications

  2024cites this paper
• Scaling Learning based Policy Optimization for Temporal Tasks via Dropout

  2024cites this paper
• Multi-agent transformer-accelerated RL for satisfaction of STL specifications

  2024cites this paper
• Temporal Behavior Trees: Robustness and Segmentation

  2024cites this paper
• Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

  2024cites this paper
• Communication-Constrained STL Task Decomposition Through Convex Optimization

  2024cites this paper
• Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

  2024cites this paper
• Robust STL Control Synthesis under Maximal Disturbance Sets

  2024cites this paper
• Estimating event probabilities via signal temporal logic and first occurrence distributions

  2024cites this paper
• Verifying Solutions to Semantics-Guided Synthesis Problems

  2024cites this paper
• A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems

  2024cites this paper
• Online Modifications for Event-Based Signal Temporal Logic Specifications

  2023cites this paper
• Distributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic

  2023cites this paper
• Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints

  2023cites this paper
• Robust Testing for Cyber-Physical Systems using Reinforcement Learning

  2023cites this paper
• Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems

  2023cites this paper
• Robust Signal Temporal Logic-based Planning for Uncertain External Events

  2023cites this paper
• Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints

  2023cites this paper
• Sensor Safety and Multi-Objective Satellite Control under Nonlinear Dynamics

  2023cites this paper
• Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL

  2023cites this paper
• Risk-aware Spatio-temporal Logic Planning in Gaussian Belief Spaces

  2023cites this paper
• GRID: A Platform for General Robot Intelligence Development

  2023cites this paper
• Sampling-Based Reactive Synthesis for Nondeterministic Hybrid Systems

  2023cites this paper
• Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems

  2023cites this paper
• An Enhanced Temporal Algorithm- Coupled Optimized Adaptive Sparse Principal Component Analysis Methodology for Fault Diagnosis of Chemical Processes

  2023cites this paper
• Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems

  2023cites this paper
• Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis

  2023cites this paper
• Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

  2023cites this paper
• Robust Temporal Logic Motion Control via Disturbance Observers

  2023cites this paper
• Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction

  2023influential citation
• Dynamic Quantization based Control Synthesis for Signal Temporal Logics Specifications

  2023cites this paper
• BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs

  2023cites this paper
• Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic

  2023cites this paper
• Two-Phase Motion Planning Under Signal Temporal Logic Specifications in Partially Unknown Environments

  2023cites this paper
• MaxSAT-based temporal logic inference from noisy data

  2022cites this paper
• Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic

  2022influential citation
• Specification-guided behavior tree synthesis and execution for coordination of autonomous systems

  2022cites this paper
• Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications

  2022cites this paper
• Multi-Requirement Testing Using Focused Falsification

  2022cites this paper
• Controller Synthesis for Linear System With Reach-Avoid Specifications

  2022cites this paper
• Can reactive synthesis and syntax-guided synthesis be friends?

  2022cites this paper
• Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

  2022cites this paper
• STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning

  2022cites this paper
• Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks

  2022cites this paper
• Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition

  2022cites this paper
• Multi-agent Motion Planning from Signal Temporal Logic Specifications

  2022cites this paper
• An STL-based Approach to Resilient Control for Cyber-Physical Systems

  2022cites this paper
• Real-Time Policy Enforcement with Metric First-Order Temporal Logic

  2022cites this paper
• Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic

  2022cites this paper
• Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives

  2022cites this paper
• A Topology Based Virtual Co-Driver for Country Roads

  2022cites this paper
• Automated Conversion of Axiomatic to Operational Models: Theory and Practice

  2022cites this paper
• Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints

  2022cites this paper
• Learning from Demonstrations under Stochastic Temporal Logic Constraints

  2022cites this paper
• Tracking Control of an Unknown Linear System for a Fragment of Signal Temporal Logic Task

  2021cites this paper
• Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems

  2021cites this paper
• Funnel control for fully actuated systems under a fragment of signal temporal logic specifications

  2021cites this paper
• Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems

  2021cites this paper
• Hierarchical control for uncertain discrete-time nonlinear systems under signal temporal logic specifications

  2021influential citation
• Runtime Verification of Spatio-Temporal Specification Language

  2021cites this paper
• Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles

  2021cites this paper
• From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence

  2021cites this paper
• Specification Guided Automated Synthesis of Feedback Controllers

  2021cites this paper
• An automated system repair framework with signal temporal logic

  2021cites this paper
• Testing Cyber–Physical Systems Using a Line-Search Falsification Method

  2021cites this paper
• Online control synthesis for uncertain systems under signal temporal logic specifications

  2021influential citation