Abstract is missing.
- SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract)Philippe Baufreton. 1 [doi]
- Approximating Hybrid System Dynamics for Analysis and Control (Abstract)Bruce H. Krogh. 2 [doi]
- High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract)Nancy A. Lynch. 3 [doi]
- Geometric Categories, O-Minimal Structures and Control (Abstract)Christopher L. Miller. 4 [doi]
- Polyhedral Flows in Hybrid AutomataRajeev Alur, Sampath Kannan, Salvatore La Torre. 5-18 [doi]
- As Soon as Possible: Time Optimal Control for Timed AutomataEugene Asarin, Oded Maler. 19-30 [doi]
- Verification of Hybrid Systems via Mathematical ProgrammingAlberto Bemporad, Manfred Morari. 31-45 [doi]
- Orthogonal Polyhedra: Representation and ComputationOlivier Bournez, Oded Maler, Amir Pnueli. 46-60 [doi]
- A Geometric Approach to Bisimulation and Verification of Hybrid SystemsMireille E. Broucke. 61-75 [doi]
- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe ApproximationsAlongkrit Chutinan, Bruce H. Krogh. 76-90 [doi]
- Path Planning and Flight Controller Scheduling for an Autonomous HelicopterMagnus Egerstedt, Tak-John Koo, Frank Hoffmann, Shankar Sastry. 91-102 [doi]
- Reachability Analysis Using Polygonal ProjectionsMark R. Greenstreet, Ian Mitchell. 103-116 [doi]
- Scale-Independent Hysteresis SwitchingJoão P. Hespanha, A. Stephen Morse. 117-122 [doi]
- Well-Posedness of a Class of Piecewise Linear Systems with No JumpsJun-ichi Imura, A. J. van der Schaft. 123-136 [doi]
- A New Class of Decidable Hybrid SystemsGerardo Lafferriere, George J. Pappas, Sergio Yovine. 137-151 [doi]
- Synthesis of Control Software in a Layered Architecture from Hybrid AutomataMan Lin. 152-164 [doi]
- An Overview of Hybrid Simulation Phenomena and Their Support by Simulation PackagesPieter J. Mosterman. 165-177 [doi]
- Building Hybrid Observers for Complex Dynamic Systems Using Model AbstractionsPieter J. Mosterman, Gautam Biswas. 178-192 [doi]
- Integration of Analog and Discrete Synchronous DesignSimin Nadjm-Tehrani. 193-208 [doi]
- Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular AnalysisJörg Preußig, Olaf Stursberg, Stefan Kowalewski. 209-222 [doi]
- Refinement and Continuous BehaviourMauno Rönkkö, Kaisa Sere. 223-237 [doi]
- Computing Controllers for Nonlinear Hybrid SystemsClaire Tomlin, John Lygeros, Shankar Sastry. 238-255 [doi]
- Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and DesignChristos A. Yfoulis, A. Muir, P. E. Wellstead, N. B. O. L. Pettit. 256-270 [doi]