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...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2034 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
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 |
| LEADER | 06566nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 948528 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155168819 | ||
| 020 | |a 9783540453512 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.19 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International workshop on Hybrid systems : computation and control |n (04 |d :2001 |c :Rome). | |
| 245 | 1 | 0 | |a Hybrid systems : |b computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28 30, 2001 : proceedings |c [edited by] Maria Domenica Benedetto, Alberto Sangiovanni-Vincentelli. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2034 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART 97), Berkeley, California, USA (HSCC 98), N- megen, The Netherlands (HSCC 99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. In line with the beautiful work that led to the design of the palace in which the workshop was held, Palazzo Lancellotti in Rome, resulting from the col- boration of many artists and architects of di erent backgrounds, the challenge faced by the hybrid system community is to harmonize and extract the best from two main research areas: computer science and control theory. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Calculateurs hybrides | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Sangiovanni-Vincentelli, Alberto, |d 1947-...., |c mathématicien. |4 pbd | |
| 700 | 1 | |a Di Benedetto, Maria Domenica, |d 1953- |4 pbd | |
| 776 | 0 | |0 05547022X |t Hybrid systems |o computation and control |o 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 |o proceedings |f Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, (Eds.) |c New York |n Springer |d 2001 |p 1 volume (XIV-516 pages) |s Lecture notes in computer science |z 3-540-41866-0 | |
| 776 | 0 | |t Hybrid Systems: Computation and Control |b Texte imprimé |z 9783662197554 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45351-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-8V8C64P3-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748062882 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45351-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751514527 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45351-2 |z Accès INSA CVL | |
| 997 | |0 948528 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||