This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005.
The 40 revised full papers presented together with 2 invited papers and the abstract of an invited talk were carefully reviewed and selected from 91 submissions. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation.
Author(s): Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi (auth.), Manfred Morari, Lothar Thiele (eds.)
Series: Lecture Notes in Computer Science 3414 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 684
Tags: Special Purpose and Application-Based Systems; Processor Architectures; Software Engineering; Computation by Abstract Devices; Logics and Meanings of Programs; Simulation and Modeling
Front Matter....Pages -
Coordinated Control for Highly Reconfigurable Systems....Pages 1-24
Operational Semantics of Hybrid Systems....Pages 25-53
SOS Methods for Semi-algebraic Games and Optimization....Pages 54-54
The Discrete Time Behavior of Lazy Linear Hybrid Automata....Pages 55-69
Perturbed Timed Automata....Pages 70-85
A Homology Theory for Hybrid Systems: Hybrid Homology....Pages 86-102
Observability of Switched Linear Systems in Continuous Time....Pages 103-117
Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains....Pages 118-133
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli ....Pages 134-150
Optimal Control of Discrete Hybrid Stochastic Automata....Pages 151-167
Hybrid Decentralized Control of Large Scale Systems....Pages 168-183
On the Stabilisation of Switching Electrical Power Converters....Pages 184-197
Bisimulation for General Stochastic Hybrid Systems....Pages 198-214
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction....Pages 215-225
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order....Pages 226-241
Refining Abstractions of Hybrid Systems Using Counterexample Fragments....Pages 242-257
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech....Pages 258-273
Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility....Pages 274-290
Reachability of Uncertain Linear Systems Using Zonotopes....Pages 291-305
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates....Pages 306-321
Polynomial Stochastic Hybrid Systems....Pages 322-338
Non-uniqueness in Reverse Time of Hybrid System Trajectories....Pages 339-353
Comparison of Four Procedures for the Identification of Hybrid Systems....Pages 354-369
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems....Pages 370-385
Mode-Automata Based Methodology for Scade....Pages 386-401
Taylor Approximation for Hybrid Systems....Pages 402-416
Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems....Pages 417-432
Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation....Pages 433-448
Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties....Pages 449-465
Learning Multi-modal Control Programs....Pages 466-479
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems....Pages 480-494
On Transfinite Hybrid Automata....Pages 495-510
Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration....Pages 511-525
Interchange Formats for Hybrid Systems: Review and Proposal....Pages 526-541
Primal–Dual Tests for Safety and Reachability....Pages 542-556
Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems....Pages 557-572
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement....Pages 573-589
Generating Polynomial Invariants for Hybrid Systems....Pages 590-605
Modeling, Optimization and Computation for Software Verification....Pages 606-622
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)....Pages 623-639
Sensor/Actuator Abstractions for Symbolic Embedded Control Design....Pages 640-654
Modeling and Control of Networked Control Systems with Random Delays....Pages 655-666
Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems....Pages 667-682
Back Matter....Pages -
