Timed Game Abstraction of Control Systems

Details Timed Game Abstraction of Control Systems Timed Game Abstraction of Control Systems

2010-12-22

arxiv.org/abs/1012.5113v1

Computer Science

Systems and Control

Scientific paper

This paper proposes a method for abstracting control systems by timed game automata, and is aimed at obtaining automatic controller synthesis. The proposed abstraction is based on partitioning the state space of a control system using positive and negative invariant sets, generated by Lyapunov functions. This partitioning ensures that the vector field of the control system is transversal to the facets of the cells, which induces some desirable properties of the abstraction. To allow a rich class of control systems to be abstracted, the update maps of the timed game automaton are extended. Conditions on the partitioning of the state space and the control are set up to obtain sound abstractions. Finally, an example is provided to demonstrate the method applied to a control problem related to navigation.

Affiliated with

Also associated with

No associations

Rating

Timed Game Abstraction of Control Systems 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 Timed Game Abstraction of Control Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Timed Game Abstraction of Control Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-295810