Hybrid Systems: Computation and Control : 6th International Workshop, Hscc 2003, Prague, Czech Republic, April 3-5, 2003 : Proceedings

by Wiedijk, Freek; Maler, Oded; Pnueli, Amir; Hscc 200 (2003 Prague, Czech Republic)

• ISBN13: 9783540009139
• ISBN10: 3540009132
• Format: Paperback
• Copyright: 2003-03-01
• Publisher: Springer Verlag

Summary

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains.

Table of Contents

Abstracts of Invited Presentations
The Mathematics of Matter and the Mathematics of Mind	p. 1
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal	p. 2
Developing Home Robotics Products: Challenges and Lessons Learned	p. 3
Regular Contributions
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction	p. 4
Reachability Analysis of Nonlinear Systems Using Conservative Approximation	p. 20
Mode Reconstruction for Source Coding and Multi-modal Control	p. 36
Hybrid Control Design for a Wheeled Mobile Robot	p. 50
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems	p. 66
Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions	p. 81
A Greedy Approach to Identification of Piecewise Affine Models	p. 97
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems	p. 113
Reachability Questions in Piecewise Deterministic Markov Processes	p. 126
Automatic Verification of a Turbogas Control System with the Murϕ Verifier	p. 141
Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System	p. 156
Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators	p. 172
Conditions of Optimal Classification for Piecewise Affine Regression	p. 188
Approximate Stabilisation of Uncertain Hybrid Systems	p. 203
Efficient Mode Enumeration of Compositional Hybrid Systems	p. 216
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata	p. 233
Modelling, Well-Posedness, and Stability of Switched Electrical Networks	p. 249
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach	p. 267
On Systematic Simulation of Open Continuous Systems	p. 283
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods	p. 298
Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions	p. 314
On the Causality of Mixed-Signal and Hybrid Models	p. 328
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata	p. 343
Multi-object Adaptive Cruise Control	p. 359
Universality and Language Inclusion for Open and Closed Timed Automata	p. 375
On the Application of Hybrid Control to CPU Reservations	p. 389
Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback	p. 405
Qualitative Heterogeneous Control of Higher Order Systems	p. 417
The ¿-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems	p. 435
Hybrid Modelling and Control of Power Electronics	p. 450
On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules	p. 466
Efficient Representation and Computation of Reachable Sets for Hybrid Systems	p. 482
Model Checking LTL over Controllable Linear Systems Is Decidable	p. 498
Approximate Reachability for Linear Systems	p. 514
Observability of Linear Hybrid Systems	p. 526
Results and Perspectives on Computational Methods for Optimal Control of Switched Systems	p. 540
Author Index	p. 557
Table of Contents provided by Publisher. All Rights Reserved.