共 50 条
- [41] Observability for hybrid systems 42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 1159 - 1164
- [43] BACH 2: Bounded ReachAbility CHecker for Compositional Linear Hybrid Systems 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1512 - 1517
- [44] Fault detection for systems with multirate sampling PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 3302 - 3306
- [46] Approximate reachability for linear systems HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2003, 2623 : 514 - 525
- [49] Reachability in linear dynamical systems LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 241 - 250
- [50] Spectral test for observability and reachability of time-varying systems SIAM J Control Optim, 5 (1330-1345):