Theory and computation of discrete state space decompositions for hybrid systems
type: Item
instance of: scholarly article
title: Theory and computation of discrete state space decompositions for hybrid systems
zbMATH Open document ID: 1293.93129
author: Maria D. Di Benedetto
author: Elena De Santis
published in: European Journal of Control
publication date: 2014-08-12T00:00:00Z
Mathematics Subject Classification ID: 93B11
Mathematics Subject Classification ID: 93C30
zbMATH DE Number: 6328865
zbMATH Keywords: verification problem
zbMATH Keywords: decomposition
MaRDI profile type: Publication
full work available at URL: j.ejcon.2012.09.001
OpenAlex ID: W2085444703
cites work: Hybrid Systems: Computation and Control
cites work: Q4736575
cites work: Observability and controllability of piecewise affine and hybrid systems
cites work: Computation of Maximal Safe Sets for Switching Systems
cites work: Digital idle speed control of automotive engines: a safety problem for hybrid systems
cites work: A structural approach to detectability for a class of hybrid systems
cites work: Editorial: Observability and observer-based control of hybrid systems
cites work: Bisimulation relations for dynamical, control, and hybrid systems
cites work: Hybrid automata with finite bisimulations
cites work: Q4246819
cites work: O-minimal hybrid systems.
cites work: Switching in systems and control
cites work: Controllers for reachability specifications for hybrid systems
cites work: Q3992568
cites work: Bisimilar linear systems.
cites work: Bisimilar control affine systems
cites work: Q3907077
cites work: Equivalence of switching linear systems by bisimulation
cites work: Analysis and synthesis of switched linear control systems
cites work: Q4736608
cites work: Q4418866
cites work: Infinite games on finitely coloured graphs with applications to automata on infinite trees
DOI: 10.1016/J.EJCON.2012.09.001
description: scientific article; zbMATH DE number 6328865