Mathematics – Optimization and Control
Scientific paper
2012-01-26
Mathematics
Optimization and Control
14 pages, 3 figures
Scientific paper
In the last few years there has been a growing interest in the use of symbolic models for the formal veri?cation and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. In this paper we face the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be eff?ectively constructed and that approximate nonlinear control systems aff?ected by disturbances in the sense of alternating approximate bisimulation.
Borri Alessandro
Di Benedetto Maria Domenica
Pola Giordano
No associations
LandOfFree
Symbolic models for nonlinear control systems affected by disturbances 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 affected by disturbances, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symbolic models for nonlinear control systems affected by disturbances will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-447189