Hybrid Systems: Computation and Control Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Vaandrager, Frits W. (Editor, http://id.loc.gov/vocabulary/relators/edt), Schuppen, Jan H. van (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Computer Science, 1569
• Subjects: Computer logic.; Artificial intelligence.; Control engineering.; Computer system failures.; Computational complexity.; Robotics.; Mechatronics.; Logics and Meanings of Programs.; Artificial Intelligence.; Control and Systems Theory.; System Performance and Evaluation.; Complexity.; Control, Robotics, Mechatronics.

This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this series was held in April 1998 at the University of Ca...

Table of Contents:

• SACRES: A Step Ahead in the Development of Critical Avionics Applications
• Approximating Hybrid System Dynamics for Analysis and Control
• High-Level Modeling and Analysis of an Air-Traffic Management System
• Geometric Categories, O-Minimal Structures and Control
• Polyhedral Flows in Hybrid Automata
• As Soon as Possible: Time Optimal Control for Timed Automata
• Verification of Hybrid Systems via Mathematical Programming
• Orthogonal Polyhedra: Representation and Computation
• A Geometric Approach to Bisimulation and Verification of Hybrid Systems
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
• Path Planning and Flight Controller Scheduling for an Autonomous Helicopter
• Reachability Analysis Using Polygonal Projections
• Scale-Independent Hysteresis Switching
• Well-Posedness of a Class of Piecewise Linear Systems with No Jumps
• A New Class of Decidable Hybrid Systems
• Synthesis of Control Software in a Layered Architecture from Hybrid Automata
• An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
• Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions
• Integration of Analog and Discrete Synchronous Design
• Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis
• Refinement and Continuous Behaviour
• Computing Controllers for Nonlinear Hybrid Systems
• Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design.