455 - 456 |
In memoriam - Yakov Zalmanovitch Tsypkin : A life in feedback control Jury EI |
457 - 460 |
Hybrid control systems : An introductory discussion to the special issue Antsaklis PJ, Nerode A |
461 - 474 |
Stability theory for hybrid dynamical systems Ye H, Michel AN, Hou L |
475 - 482 |
Multiple Lyapunov functions and other analysis tools for switched and hybrid systems Branicky MS |
483 - 490 |
Complementarity modeling of hybrid systems van der Schaft AJ, Schumacher JM |
491 - 500 |
Control design for integrator hybrid systems Tittus M, Egardt B |
501 - 508 |
Hierarchical hybrid control systems : A lattice theoretic formulation Caines PE, Wei YJ |
509 - 521 |
Conflict resolution for air traffic management : A study in multiagent hybrid systems Tomlin C, Pappas GJ, Sastry S |
522 - 539 |
Verified hybrid controllers for automated vehicles Lygeros J, Godbole DN, Sastry S |
540 - 554 |
Algorithmic analysis of nonlinear hybrid systems Henzinger TA, Ho PH, Wong-Toi H |
555 - 559 |
Computation of piecewise quadratic Lyapunov functions for hybrid systems Johansson M, Rantzer A |
560 - 564 |
Model adaptive hybrid dynamic control for constrained motion systems McCarragher BJ, Austin DJ |
564 - 568 |
Synthesis of supervisory controllers for hybrid systems based on approximating automata Cury JER, Krogh BH, Niinomi T |
569 - 573 |
Discrete approximation and supervisory control of continuous systems Raisch J, O'Young SD |
573 - 579 |
Differential Petri nets : Representing continuous systems in a discrete-event world Demongodin I, Koussoulas NT |
579 - 584 |
Compositional and uniform modeling of hybrid systems Benveniste A |
584 - 587 |
The SHIFT programming language for dynamic networks of hybrid automata Deshpande A, Gollu A, Semenzato L |