Time-constrained temporal logic control of multi-affine systems

DOI10.1016/j.nahs.2013.03.002zbMath1302.93113arXiv1203.5683WikidataQ58233191 ScholiaQ58233191MaRDI QIDQ2252961

Calin Belta, Ebru Aydin Gol

Publication date: 24 July 2014

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

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

zbMATH Keywords

automata theory; control design; linear temporal logic; multi--afine systems

Mathematics Subject Classification ID

90C25: Convex programming

93B05: Controllability

93B52: Feedback control

68Q70: Algebraic theory of languages and automata

49K15: Optimality conditions for problems involving ordinary differential equations

Uses Software

• Matlab
• conPAS

Cites Work

• Symbolic approximate time-optimal control
• The particle swarm optimization algorithm: Convergence analysis and parameter selection
• Synthesis using approximately bisimilar abstractions
• Language-guided controller synthesis for discrete-time linear systems
• Dealing with Nondeterminism in Symbolic Control
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Linear Time Logic Control of Discrete-Time Linear Systems
• Approximate Abstractions of Stochastic Hybrid Systems
• Temporal Logic Control of Discrete-Time Piecewise Affine Systems
• Model checking of safety properties
• Unnamed Item
• Unnamed Item
• Unnamed Item