Formal Synthesis of Control Strategies for Positive Monotone Systems
From MaRDI portal
Publication:4629806
DOI10.1109/TAC.2018.2814631zbMath1482.93189arXiv1702.08501OpenAlexW3103773816MaRDI QIDQ4629806
Publication date: 28 March 2019
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.08501
Controllability (93B05) Discrete-time control/observation systems (93C55) Synthesis problems (93B50) Temporal logic (03B44)
Related Items (6)
Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization ⋮ Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ An STL-based Approach to Resilient Control for Cyber-Physical Systems ⋮ A control approach for monotone systems with multi-valued characteristics: application to an ebola virus model
This page was built for publication: Formal Synthesis of Control Strategies for Positive Monotone Systems
