Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems

DOI10.1109/TAC.2020.2984724MaRDI QIDQ5854761

Andrea Bisoffi, Dimos V. Dimarogonas

Publication date: 12 March 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (4)

Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach ⋮ Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic

This page was built for publication: Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems