Del i serien Lecture Notes in Computer Science

Hybrid Systems: Computation and Control

Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings

Häftad, Engelska, 1999

AvFrits W. Vaandrager,Jan H. van Schuppen

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the Second International Workshop on Hybrid Systems, Computation and Control, HSCC'99, held in Berg en Dal near Nijmegen, The Netherlands in March 1999. The 19 revised full papers presented were carefully reviewed and selected from a total of 44 submissions. Hybrid systems combine aspects from computer science and control theory. The papers in this volume focus on modeling, control, synthesis, design and verification of hybrid systems.

Produktinformation

Utgivningsdatum1999-03-17
Mått155 x 235 x 16 mm
Vikt446 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor282
Upplaga1999
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540657347

Tillhör följande kategorier

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.