Computing descent direction of MTL robustness for non-linear systems

No abstract is available for this paper.

• Publication year

  2013

• Venue

  American Control Conference

• Publication date

  2013-06-17

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1109/ACC.2013.6580518
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

  2013cited by this paper
• Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System

  2012cited by this paper
• Verification of automotive control applications using S-TaLiRo

  2012cited by this paper
• Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks

  2011cited by this paper
• Linear Hybrid System Falsification through Local Search

  2011cited by this paper
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

  2011cited by this paper
• Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

  2010cited by this paper
• Bayesian statistical model checking with application to Stateflow/Simulink verification

  2010cited by this paper
• Convex optimization

  2010cited by this paper
• Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology

  2009cited by this paper
• Falsification of LTL safety properties in hybrid systems

  2009cited by this paper
• MTL robust testing and verification for LPV systems

  2009cited by this paper
• Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications

  2008cited by this paper
• Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli

  2008cited by this paper
• Formal verification of analog and mixed signal designs: A survey

  2008cited by this paper
• Model Checking of Analog Systems using an Analog Specification Language

  2008cited by this paper
• Nonsmooth optimization

  2007cited by this paper
• Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces

  2007cited by this paper
• Systematic Simulation Using Sensitivity Analysis

  2007cited by this paper
• CVODES: The Sensitivity-Enabled ODE Solver in SUNDIALS

  2005cited by this paper
• Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri

  2001cited by this paper
• Trajectory Sensitivity Analysis of Hybrid Systems

  2000cited by this paper
• Specifying real-time properties with metric temporal logic

  1990influential reference
• On convergence rates of subgradient optimization methods

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

  year unknowncited by this paper

• Receding Horizon Control for Signal Temporal Logic Using Robustness-Conserving Partial Formula Evaluation

  2025cites this paper
• Ro-To-Go! Robust Reactive Control with Signal Temporal Logic

  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
• Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout

  2024influential citation
• Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic

  2023cites this paper
• Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

  2022cites this paper
• Time-Robust Control for STL Specifications

  2021cites this paper
• FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace

  2020cites this paper
• How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles

  2020cites this paper
• Learning-Based Falsification for Model Families of Cyber-Physical Systems

  2019cites this paper
• Temporal logic robustness for general signal classes

  2019cites this paper
• Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications

  2019cites this paper
• Safe Planning And Control Of Autonomous Systems: Robust Predictive Algorithms

  2019cites this paper
• Foundations of Safe Autonomous Cyber-Physical Systems

  2018cites this paper
• Efficient Parametric Identification for STL

  2018cites this paper
• Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

  2018cites this paper
• Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach

  2018influential citation
• Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives

  2018cites this paper
• Monitoring Cyber-Physical Systems

  2017cites this paper
• Optimal energy storage control for frequency regulation under temporal logic specifications

  2017cites this paper
• Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems

  2017cites this paper
• Validation of adaptive control laws using optimization and trajectory sensitivity

  2017cites this paper
• Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems

  2017cites this paper
• Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report)

  2017influential citation
• Smooth operator: Control using the smooth robustness of temporal logic

  2017cites this paper
• Technical Report: Control Using the Smooth Robustness of Temporal Logic

  2017cites this paper
• Requirements driven falsification with coverage metrics

  2015cites this paper
• Conformance Testing as Falsification for Cyber-Physical Systems

  2014influential citation
• Functional gradient descent method for Metric Temporal Logic specifications

  2014influential citation
• A trajectory splicing approach to concretizing counterexamples for hybrid systems

  2013cites this paper