Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations

Details Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations

2007-07-28

arxiv.org/abs/0707.4205v1

Mathematics

Optimization and Control

Scientific paper

Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growing interest in the use of symbolic models as a tool for mitigating complexity in control design. In fact, symbolic models enable the use of well known algorithms in the context of supervisory control and algorithmic game theory, for controller synthesis. Since the 1990's many researchers faced the problem of identifying classes of dynamical and control systems that admit symbolic models. In this paper we make a further progress along this research line by focusing on control systems affected by disturbances. Our main contribution is to show that incrementally globally asymptotically stable nonlinear control systems with disturbances admit symbolic models. When specializing these results to linear systems, we show that these symbolic models can be easily constructed.

Affiliated with

Also associated with

No associations

Rating

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations 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 Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-395693