Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems (Q1790657)

From MaRDI portal





scientific article; zbMATH DE number 6946570
Language Label Description Also known as
default for all languages
No label defined
    English
    Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
    scientific article; zbMATH DE number 6946570

      Statements

      Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems (English)
      0 references
      0 references
      0 references
      0 references
      2 October 2018
      0 references
      bisimulations
      0 references
      stability
      0 references
      hybrid systems
      0 references
      abstractions
      0 references
      input-to-state stability
      0 references
      incremental input-to-state stability
      0 references

      Identifiers