Computer Science – Systems and Control
Scientific paper
2012-03-08
Computer Science
Systems and Control
Scientific paper
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.
Chen Ben M.
Lin Hainan
Sun Yajuan
No associations
LandOfFree
An Input-Output Simulation Approach to Controlling Multi-AffineSystems for Linear Temporal Logic Specifications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with An Input-Output Simulation Approach to Controlling Multi-AffineSystems for Linear Temporal Logic Specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Input-Output Simulation Approach to Controlling Multi-AffineSystems for Linear Temporal Logic Specifications will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-17064