Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions

DOI10.1016/j.nahs.2020.100865zbMath1441.93132arXiv1807.02574OpenAlexW3004765214MaRDI QIDQ2178216

Hyejin Han, Ricardo G. Sanfelice

Publication date: 7 May 2020

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.02574

zbMATH Keywords

hybrid systemslinear temporal logicfinite time attractivityforward invariance

Mathematics Subject Classification ID

Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• HRELTL: a temporal logic for hybrid systems
• Temporal logic motion planning for dynamic robots
• Finite time stability of sets for hybrid dynamical systems
• An introduction to hybrid dynamical systems
• On the regularization of Zeno hybrid automata
• Formal methods for discrete-time dynamical systems
• LTL to Büchi Automata Translation: Fast and More Deterministic
• Reactive synthesis from signal temporal logic specifications
• LTLC: Linear Temporal Logic for Control
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Forward Invariance of Sets for Hybrid Dynamical Systems (Part I)
• Dynamical properties of hybrid automata
• Linear Time Logic Control of Discrete-Time Linear Systems
• Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability
• Hybrid dynamical systems
• On the equivalence between global recurrence and the existence of a smooth Lyapunov function for hybrid systems

This page was built for publication: Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions