Del i serien Lecture Notes in Computer Science

Hybrid Systems: Computation and Control

4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings

Häftad, Engelska, 2001

AvMaria Domenica Di Benedetto,Maria D. Di Benedetto,Alberto L. Sangiovanni-Vincentelli

1 419 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. All current aspects of hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.

Produktinformation

Utgivningsdatum2001-03-14
Mått155 x 235 x 29 mm
Vikt803 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor516
Upplaga2001
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540418665

Tillhör följande kategorier

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.

Mer från samma författare

Model-Based Reinforcement Learning

Milad Farsi, Jun Liu, Maria Domenica Di Benedetto

Inbunden

1 719 kr

H-Systems

Elena De Santis, Maria Domenica Di Benedetto

Inbunden

2 049 kr

H-Systems

Elena De Santis, Maria Domenica Di Benedetto

Häftad

2 049 kr

Mer från samma serie

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad

699 kr

Del 12556

Secure IT Systems

Mikael Asplund, Simin Nadjm-Tehrani

Häftad

999 kr

Persuasive Technology

Yvonne de Kort, Wijnand IJsselsteijn, Cees Midden, Berry Eggen, B.J. Fogg

Häftad

679 kr

Serious Games Development and Applications

Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge

Häftad

679 kr

Del 16095

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad

2 109 kr

Del 9751

HCI in Business, Government, and Organizations: eCommerce and Innovation

Fiona Fui-Hoon Nah, Chuan-Hoo Tan

Häftad

699 kr

Chromatic Visions

Irina Mihaela Ciortan, Daniele Ferdani, Jon Yngve Hardeberg, Sophia Sotiropoulou, Manuele Veggi

Häftad

579 kr

Nyhet

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki