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

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ejcon.2012.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2085444703
@@ Property / OpenAlex ID: W2085444703 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736575
@@ Property / cites work: Q4736575 / rank @@
+Normal rank
@@ Property / cites work @@
+Observability and controllability of piecewise affine and hybrid systems
+Normal rank
@@ Property / cites work @@
+Computation of Maximal Safe Sets for Switching Systems
+Normal rank
@@ Property / cites work @@
+Digital idle speed control of automotive engines: a safety problem for hybrid systems
+Normal rank
@@ Property / cites work @@
+A structural approach to detectability for a class of hybrid systems
+Normal rank
@@ Property / cites work @@
+Observability and observer-based control of hybrid systems
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for dynamical, control, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid automata with finite bisimulations
@@ Property / cites work: Hybrid automata with finite bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246819
@@ Property / cites work: Q4246819 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Switching in systems and control
@@ Property / cites work: Switching in systems and control / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar control affine systems
@@ Property / cites work: Bisimilar control affine systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of switching linear systems by bisimulation
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of switched linear control systems
+Normal rank
@@ Property / cites work @@
+Q4736608
@@ Property / cites work: Q4736608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418866
@@ Property / cites work: Q4418866 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank