Theory and computation of discrete state space decompositions for hybrid systems (Q397399): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / author
 
Property / author: Maria Domenica Di Benedetto / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 93B11 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 93C30 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6328865 / rank
 
Normal rank
Property / zbMATH Keywords
 
verification problem
Property / zbMATH Keywords: verification problem / rank
 
Normal rank
Property / zbMATH Keywords
 
decomposition
Property / zbMATH Keywords: decomposition / rank
 
Normal rank

Revision as of 16:36, 29 June 2023

scientific article
Language Label Description Also known as
English
Theory and computation of discrete state space decompositions for hybrid systems
scientific article

    Statements

    Theory and computation of discrete state space decompositions for hybrid systems (English)
    0 references
    12 August 2014
    0 references
    0 references
    verification problem
    0 references
    decomposition
    0 references