Theory and computation of discrete state space decompositions for hybrid systems (Q397399): Difference between revisions
From MaRDI portal
Created a new Item |
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
verification problem
0 references
decomposition
0 references