|
|
| (3 intermediate revisions by 3 users not shown) |
| Property / DOI | |
| | |
| Property / DOI: 10.1007/s00236-006-0036-6 / rank | |
| Normal rank
| |
| Property / MaRDI profile type |
| | | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | | Normal rank |
| Property / full work available at URL |
| | | |
| Property / full work available at URL: https://doi.org/10.1007/s00236-006-0036-6 / rank |
| | | Normal rank |
| Property / OpenAlex ID |
| | | |
| Property / OpenAlex ID: W2130578594 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: The algorithmic analysis of hybrid systems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: A theory of timed automata / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Machines in a Category: An Expository Introduction / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: On the reachability of quantized control systems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Hybrid Systems: Computation and Control / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4249564 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Hierarchical hybrid control systems: a lattice theoretic formulation / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4736581 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: An implementation of an efficient algorithm for bisimulation equivalence / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Realization is universal / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: What's decidable about hybrid automata? / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings. / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings. / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Bisimulation relations for dynamical, control, and hybrid systems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q5639839 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: O-minimal hybrid systems. / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Qualitative modelling of linear dynamical systems with quantized state measurements / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3992568 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Discrete supervisory control of hybrid systems based on \(l\)-complete approximations / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Bisimilar linear systems. / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3907077 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4736600 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Three Partition Refinement Algorithms / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4369656 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Discrete approximation and supervisory control of continuous systems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: An invariant-based approach to the design of hybrid control systems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4400449 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4418864 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Bisimilar control affine systems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Linear Time Logic Control of Discrete-Time Linear Systems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Hybrid Systems: Computation and Control / rank |
| | | Normal rank |
| Property / DOI |
| | | |
| Property / DOI: 10.1007/S00236-006-0036-6 / rank |
| | | Normal rank |
