An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications

DOI10.1080/00207179.2012.689862MaRDI QIDQ4897712zbMATH OpenOpenAlexFDO

Authors Hai Lin, Ben M. Chen, Yajuan Sun

Publication date 27 December 2012

Published in International Journal of Control (Search for Journal in Brave)

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

zbMATH Keywords

automatic synthesishybrid systemslinear temporal logicmulti-affine functions

Mathematics Subject Classification ID

Realizations from input-output data (93B15) Control/observation systems governed by ordinary differential equations (93C15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Multivariable systems, multidimensional control systems (93C35)

Abstract: This paper presents an input-output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. First, we partition the state space into rectangles, each of which satisfies atomic LTL propositions. Then, we study the control of multi-affine systems on rectangles including the control of driving all trajectories starting from a rectangle to exit through a facet and the control of stabilizing the system towards a desired point. With the proposed controllers, a finitely abstracted transition system is constructed which is shown to be input-output simulated by the rectangular transition system of the multi-affine system. Since input-output simulation preserves LTL properties, the controller synthesis of the multi-affine system for LTL specifications is achieved by designing a nonblocking supervisor for the abstracted transition system and by continuously implementing the resulting supervisor for the original multi-affine system.

Recommendations

• Time-constrained temporal logic control of multi-affine systems
• Temporal logic model predictive control for discrete-time systems
• Hybrid Systems: Computation and Control
• Language-guided controller synthesis for discrete-time linear systems
• Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications

Cites work

• A control problem for affine dynamical systems on a full-dimensional polytope.
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Control problems in a temporal logic framework
• Controlling a Class of Nonlinear Systems on Rectangles
• Decidability for a temporal logic used in discrete-event system analysis
• Examples of wandering domains in p-adic polynomial dynamics.
• Hybrid Systems: Computation and Control
• Linear Time Logic Control of Discrete-Time Linear Systems
• MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
• Temporal logic motion planning for dynamic robots

Cited in

(3)

• Time-constrained temporal logic control of multi-affine systems
• Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
• Hybrid Systems: Computation and Control

Describes a project that uses

Uses Software

• RAMAS

This page was built for publication: An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4897712)