화학공학소재연구정보센터

IEEE Transactions on Automatic Control

IEEE Transactions on Automatic Control, Vol.43, No.4 Entire volume, number list
ISSN: 0018-9286 (Print) 

In this Issue (17 articles)

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