Abstract
The chronological formalism, in particular, exponential product expansions and combinatorial features of Viennot-Hall bases are shown to lead to streamlined proofs of conditions for controllability and optimality. The focus is on those high-order conditions for small-time local controllability that originally were derived in the 1980s. The key features are adapted Viennot-Hall bases and Lazard elimination tailored to the specific conditions, which together refine the construction of Sussmann's exponential product expansion.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the IEEE Conference on Decision and Control |
| Publisher | IEEE |
| Pages | 2920-2925 |
| Number of pages | 6 |
| Volume | 3 |
| State | Published - 1999 |
| Event | The 38th IEEE Conference on Decision and Control (CDC) - Phoenix, AZ, USA Duration: Dec 7 1999 → Dec 10 1999 |
Other
| Other | The 38th IEEE Conference on Decision and Control (CDC) |
|---|---|
| City | Phoenix, AZ, USA |
| Period | 12/7/99 → 12/10/99 |
ASJC Scopus subject areas
- Chemical Health and Safety
- Control and Systems Engineering
- Safety, Risk, Reliability and Quality