Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Häftad, Engelska, 2003

Av Freek Wiedijk, Oded Maler, Amir Pnueli

1 459 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2003-03-18
Mått155 x 235 x 31 mm
Vikt861 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor564
Upplaga2003
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540009139

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it

Abstracts of Invited Presentations.- The Mathematics of Matter and the Mathematics of Mind.- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.- Developing Home Robotics Products: Challenges and Lessons Learned.- Regular Contributions.- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.- Reachability Analysis of Nonlinear Systems Using Conservative Approximation.- Mode Reconstruction for Source Coding and Multi-modal Control.- Hybrid Control Design for a Wheeled Mobile Robot.- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems.- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions.- A Greedy Approach to Identification of Piecewise Affine Models.- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.- Reachability Questions in Piecewise Deterministic Markov Processes.- Automatic Verification of a Turbogas Control System with the Mur? Verifier.- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System.- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators.- Conditions of Optimal Classification for Piecewise Affine Regression.- Approximate Stabilisation of Uncertain Hybrid Systems.- Efficient Mode Enumeration of Compositional Hybrid Systems.- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.- Modelling, Well-Posedness, and Stability of Switched Electrical Networks.- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach.- On Systematic Simulation of Open Continuous Systems.- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods.- Event Prediction for Switching LinearSystems with Time Varying Thresholds Using Orthogonal Functions.- On the Causality of Mixed-Signal and Hybrid Models.- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.- Multi-object Adaptive Cruise Control.- Universality and Language Inclusion for Open and Closed Timed Automata.- On the Application of Hybrid Control to CPU Reservations.- Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback.- Qualitative Heterogeneous Control of Higher Order Systems.- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems.- Hybrid Modelling and Control of Power Electronics.- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules.- Efficient Representation and Computation of Reachable Sets for Hybrid Systems.- Model Checking LTL over Controllable Linear Systems Is Decidable.- Approximate Reachability for Linear Systems.- Observability of Linear Hybrid Systems.- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems.