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

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