Hybrid systems : computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3 5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which inv...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2623 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Hybrid systems, computation and control, 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003, proceedings, Oded Maler, Amir Pnueli (eds.), Berlin, Springer, 2003, 1 vol. (XII-558 p.), Lecture notes in computer science, 3-540-00913-2 • Hybrid Systems: Computation and Control, Texte imprimé, 9783662206065 |
Taula de continguts:
- 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.