Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28 30, 2001 : proceedings
This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion...
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
2034 |
| Teme: | |
| Online pristup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Bilješka: |
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, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, proceedings, Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, (Eds.), New York, Springer, 2001, 1 volume (XIV-516 pages), Lecture notes in computer science, 3-540-41866-0 • Hybrid Systems: Computation and Control, Texte imprimé, 9783662197554 |
Sadržaj:
- Control as an Embedded Technology
- Optimisation of Hybrid Processes and Hybrid Controllers
- Embedded Software and Systems: Challenges and Approaches
- Hybrid Systems Applications: An Oxymoron?
- Design of Luenberger Observers for a Class of Hybrid Linear Systems
- Hybrid Modeling and Simulation of Biomolecular Networks
- Compositional Refinement for Hierarchical Hybrid Systems
- Optimal Paths in Weighted Timed Automata
- Reach Set Computations Using Real Quantifier Elimination
- On Hybrid Control of Under-Actuated Mechanical Systems
- On the Decidability of the Reachability Problem for Planar Differential Inclusions
- The Substratum of Impulse and Hybrid Control Systems
- Path-Dependent Impulse and Hybrid Systems
- Hybrid Feedback Control for Path Tracking by a Bounded Curbature Vehicle
- Minimum-Cost Reachability for Priced Time Automata
- A Hybrid Approach to Traction Control
- Optimal Control Using Bisimulations: Implementation
- A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems
- Accurate Event Detection for Simulating Hybrid Systems
- A Clustering Technique for the Identification of Piecewise Affine systems
- Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
- Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis
- Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
- Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
- Hybrid Modeling of TCP Congestion Control
- Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem
- Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers
- Mode Switching Synthesis for Reachability Specifications
- Characterization of Stabilizing Switching Sequencesin Switched Linear Systems Using Piecewise Linear Lyapunov Functions
- On a Novel Class of Bifurcations in Hybrid Dynamical Systems
- Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
- Modeling of Continuous-Discrete Processes
- Hybrid I/O Automata Revisited
- Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets
- Robust Controller Synthesis for Hybrid Systems Using Modal Logic
- Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
- Addressing Multiobjective Control: Safety and Performance through Constrained Optimization
- Representation of Quantised Systems by the Frobenius-Perron Operator
- Semi-de1cidable Synthesis for Triangular Hybrid Systems
- Hybrid Abstractions that Preserve Timed Languages.