Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
From MaRDI portal
Publication:2979390
DOI10.1109/TAC.2015.2511722zbMath1359.68200arXiv1403.3524MaRDI QIDQ2979390
Andrew Lamperski, Tichakorn Wongpiromsarn, Ufuk Topcu
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1403.3524
Formal languages and automata (68Q45) Nonlinear ordinary differential equations and systems (34A34) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates ⋮ Sampling polynomial trajectories for LTL verification ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
This page was built for publication: Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
