Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.

No author found.

Publication date: 12 October 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (9)

Verification of Hybrid Systems ⋮ Computation with perturbed dynamical systems ⋮ Symbolic models for control systems ⋮ Necessary and sufficient conditions for reachability on a simplex ⋮ An optimal fault detection approach for piecewise affine systems via diagnostic observers ⋮ Computing Differential Invariants of Hybrid Systems as Fixedpoints ⋮ SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems ⋮ Abstractions for hybrid systems ⋮ Robust uniformly ultimate boundedness control for uncertain switched linear systems

This page was built for publication: Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.