Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates

DOI10.1007/978-3-030-32430-8_23zbMath1440.68038arXiv1910.12282OpenAlexW2981939605MaRDI QIDQ3297675

No author found.

Publication date: 20 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

dynamic programminglinear temporal logicsum-of-squares optimizationsafe-LTL\(_F\)secure control barrier certificate

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)

Uses Software

• Sostools
• PRISM
• SDPT3
• NuSMV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sequential Stackelberg equilibria in two-person games
• Semidefinite programming relaxations for semialgebraic problems
• A dynamic game approach to distributionally robust safety specifications for stochastic systems
• Formal methods for discrete-time dynamical systems
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Stochastic stability and control
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems
• Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
• Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
• An optimal one-way multigrid algorithm for discrete-time stochastic control
• The benefits of relaxing punctuality
• SDPT3 — A Matlab software package for semidefinite programming, Version 1.3
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
• Timed Temporal Logics
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Depth-First Search and Linear Graph Algorithms
• Symbolic reachability computation for families of linear vector fields
• Temporal logic verification of stochastic systems using barrier certificates

This page was built for publication: Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates