Can we stay where we are?
The work presented in this chapter is aimed at providing the computational framework for the fixed point approach given in (Nerode et al., 1995). The approach taken is based on continuous–time viability specifically the work of (Frankowska and Quincampoix, 1991) on the viability kernel of a differential inclusion. The main objective of the work here is to provide a control automaton that can handle sampling explicitly. The governing continuous–time dynamics are represented by a collection of differential inclusions that allows one to capture the effect of dynamic uncertainty in a hybrid system.
KeywordsSampling Interval Controllability Operator Plant State Independent Case Viability Kernel
Unable to display preview. Download preview PDF.
- 70.A. Nerode, J.B. Remmel, and A. Yakhnis. Controllers as Fixed Points of Set-Valued Operators. In Lecture Notes in Computer Science: Hybrid Systems II, volume 999, pages 344–358. Springer-Verlag, New York, 1995. Google Scholar