LTLC: Linear Temporal Logic for Control

DOI10.1007/978-3-540-78929-1_23zbMath1143.68456OpenAlexW1527587747MaRDI QIDQ3523118

YoungMin Kwon, Gul A. Agha

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_23

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Quantitative Model Checking for a Controller Design ⋮ Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions ⋮ A design of GPU-based quantitative model checking

This page was built for publication: LTLC: Linear Temporal Logic for Control