عنوان

Hybrid systems :

(Number (ISBN

3540418660

(Number (ISBN

9783540418665

Number

b553106

Title Proper

Hybrid systems :

General Material Designation

[Book]

Other Title Information

computation and control ; 4th international workshop ; proceedings

First Statement of Responsibility

HSCC 2001, Rome, Italy, March 28-30, 2001. Maria Domenica Di Benedetto ; Alberto Sangiovanni-Vincentelli (ed.).

Place of Publication, Distribution, etc.

Berlin

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

2001

Specific Material Designation and Extent of Item

XIV, 516 Seiten : Diagramme ; 24 cm.

Series Title

Lecture notes in computer science, vol. 2034.

Text of Note

Literaturangaben.

Text of Note

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

;Hybrides System

Hybrides System.

Rom <2001>

HSCC 2001, Rome, Italy, March 28-30, 2001. Maria Domenica Di Benedetto ; Alberto Sangiovanni-Vincentelli (ed.).

HSCC (4, 2001, Roma)

Maria Domenica Di Benedetto

Electronic name

[Book]

Y