• DocumentCode
    697660
  • 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
  • fYear
    2001
  • fDate
    4-7 Sept. 2001
  • Firstpage
    3852
  • Lastpage
    3857
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Control Conference (ECC), 2001 European
  • Conference_Location
    Porto
  • Print_ISBN
    978-3-9524173-6-2
  • Type

    conf

  • Filename
    7076535
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=697660