Cover Image
Read Now

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...

Full description

Bibliographic Details
Other Authors: Di Benedetto, Maria D. (Editor), Sangiovanni-Vincentelli, Alberto L. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2001, 2001
Edition:1st ed. 2001
Series:Lecture Notes in Computer Science
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Computers
Computer Hardware
Theory Of Computation
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 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
  • 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
  • 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

Similar Items