Title :
Towards a viability theory of hybrid systems
Author :
Aubin, Jean-Pierre ; Lygeros, John ; Quincampoix, Marc ; Sastry, Shankar ; Seube, Nicolas
Author_Institution :
Centre de Rech. Viabilite, Univ. Paris-Dauphine, Paris, France
Abstract :
Impulse differential inclusions are introduced as a formalism for modelling hybrid phenomena and their connection to some standard problems in area of hybrid systems is discussed. Conditions are derived that allow one to determine whether a set of states is viable or invariant under the action of an impulse differential inclusion. The results are demonstrated on examples.
Keywords :
continuous systems; discrete systems; modelling; hybrid phenomena modelling; hybrid systems; impulse differential inclusions; viability theory; Europe; Heating; Kernel; Standards; Switches; Thermostats; Trajectory; Control; Hybrid Systems; Modelling; Verification;
Conference_Titel :
Control Conference (ECC), 2001 European
Conference_Location :
Porto
Print_ISBN :
978-3-9524173-6-2
