Modeling and Analysis of Nonlinear Control Systems Using Exterior Differential Systems
Abstract
This research investigates hybrid systems as heterogenous dynamical systems characterized by interacting continuous and discrete dynamics. The high-profile and safety-critical nature of the application areas, such as air traffic control and automated manufacturing and chemical process control, has fostered a large and growing body of work on formal methods for hybrid systems: mathematical logics, computational models and methods, and computer-aided reasoning tools supporting the formal specification and verification of performance requirements for hybrid systems, and the design and synthesis of control programs for hybrid systems that are provably correct with respect to formal specifications. This work continues to provide original contributions to the use of switching systems in the analysis of hybrid systems, specifically in the area of hybrid controller synthesis problems. Recent work formulates and robustly solved a quite general class of hybrid controller synthesis problems, focusing on the switching control mechanism of a hybrid automaton. The robustness result is with respect to variations in the right hand sides of the differential equations that depend continuously on a parameter. A novel methodology for controller design and synthesis which uses multi-model and multi-controller is developed.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 30, 2001
- Accession Number
- ADA391041
Entities
People
- Hua Wang
- Linda Bushnell
Organizations
- Duke University