Consistent hierarchies of nonlinear abstractions

We consider the problem of constructing hierarchies of nonlinear control systems that preserve reachability properties, and, in particular, local accessibility. In this hierarchical framework, showing local accessibility of the higher level abstracted model of the nonlinear control system is equivalent to showing local accessibility of the more detailed, lower level model. Hierarchies of consistent nonlinear abstractions can therefore result in significant complexity reduction in determining the reachability properties of nonlinear systems.

[1]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

[2]  A. Isidori.  Nonlinear Control Systems , 1985 .

[3]  Arjan van der Schaft,et al.  Non-linear dynamical control systems , 1990 .

[4]  P. Caines,et al.  The hierarchical lattices of a finite machine , 1995 .

[5]  S. Shankar Sastry,et al.  Towards Continuous Abstractions of Dynamical and Control Systems , 1996, Hybrid Systems.

[6]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[7]  Hierarchically consistent control systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).