|
" Public Theology and Empirical Research: "
Mark J. Cartledge
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
733310
|
| Doc. No
|
:
|
b553106
|
| Main Entry
|
:
|
HSCC 2001, Rome, Italy, March 28-30, 2001. Maria Domenica Di Benedetto ; Alberto Sangiovanni-Vincentelli (ed.).
|
| Title & Author
|
:
|
Hybrid systems : : computation and control ; 4th international workshop ; proceedings\ HSCC 2001, Rome, Italy, March 28-30, 2001. Maria Domenica Di Benedetto ; Alberto Sangiovanni-Vincentelli (ed.).
|
| Publication Statement
|
:
|
Berlin: Springer, 2001
|
| Series Statement
|
:
|
Lecture notes in computer science, vol. 2034.
|
| Page. NO
|
:
|
XIV, 516 Seiten : Diagramme ; 24 cm.
|
| ISBN
|
:
|
3540418660
|
|
|
:
|
: 9783540418665
|
| Notes
|
:
|
Literaturangaben.
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
;Hybrides System
|
| Subject
|
:
|
Hybrides System.
|
| Subject
|
:
|
Rom lt;2001gt
|
| Added Entry
|
:
|
HSCC (4, 2001, Roma)
|
|
|
:
|
Maria Domenica Di Benedetto
|
| |