Computing abstractions of nonlinear systems

Mathematics – Optimization and Control

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

This work has been accepted for publication in the IEEE Trans. Automatic Control. v3: minor modifications; accepted version

Scientific paper

10.1109/TAC.2011.2118950

Sufficiently accurate finite state models, also called symbolic models or discrete abstractions, allow one to apply fully automated methods, originally developed for purely discrete systems, to formally reason about continuous and hybrid systems, and to design finite state controllers that provably enforce predefined specifications. We present a novel algorithm to compute such finite state models for nonlinear discrete-time and sampled systems which depends on quantizing the state space using polyhedral cells, embedding these cells into suitable supersets whose attainable sets are convex, and over-approximating attainable sets by intersections of supporting half-spaces. We prove a novel recursive description of these half-spaces and propose an iterative procedure to compute them efficiently. We also provide new sufficient conditions for the convexity of attainable sets which imply the existence of the aforementioned embeddings of quantizer cells. Our method yields highly accurate abstractions and applies to nonlinear systems under mild assumptions, which reduce to sufficient smoothness in the case of sampled systems. Its practicability in the design of discrete controllers for nonlinear continuous plants under state and control constraints is demonstrated by an example.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Computing abstractions of nonlinear 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 Computing abstractions of nonlinear systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computing abstractions of nonlinear systems will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-464700

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.