Hybrid systems : computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3 5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which inv...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
2623 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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, 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003, proceedings, Oded Maler, Amir Pnueli (eds.), Berlin, Springer, 2003, 1 vol. (XII-558 p.), Lecture notes in computer science, 3-540-00913-2 • Hybrid Systems: Computation and Control, Texte imprimé, 9783662206065 |
| LEADER | 06879nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 949338 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155231375 | ||
| 020 | |a 9783540365808 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.19 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a HSCC 2003 |n (6th |c :Prague, Czech Republic). | |
| 245 | 1 | 0 | |a Hybrid systems : |b computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings |c [edited by] Oded Maler, Amir Pnueli. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2623 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Abstracts of Invited Presentations -- The Mathematics of Matter and the Mathematics of Mind -- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal -- Developing Home Robotics Products: Challenges and Lessons Learned -- Regular Contributions -- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction -- Reachability Analysis of Nonlinear Systems Using Conservative Approximation -- Mode Reconstruction for Source Coding and Multi-modal Control -- Hybrid Control Design for a Wheeled Mobile Robot -- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems -- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions -- A Greedy Approach to Identification of Piecewise Affine Models -- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems -- Reachability Questions in Piecewise Deterministic Markov Processes -- Automatic Verification of a Turbogas Control System with the Mur? Verifier -- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System -- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators -- Conditions of Optimal Classification for Piecewise Affine Regression -- Approximate Stabilisation of Uncertain Hybrid Systems -- Efficient Mode Enumeration of Compositional Hybrid Systems -- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata -- Modelling, Well-Posedness, and Stability of Switched Electrical Networks -- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach -- On Systematic Simulation of Open Continuous Systems -- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods -- Event Prediction for Switching LinearSystems with Time Varying Thresholds Using Orthogonal Functions -- On the Causality of Mixed-Signal and Hybrid Models -- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata -- Multi-object Adaptive Cruise Control -- Universality and Language Inclusion for Open and Closed Timed Automata -- On the Application of Hybrid Control to CPU Reservations -- Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback -- Qualitative Heterogeneous Control of Higher Order Systems -- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems -- Hybrid Modelling and Control of Power Electronics -- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules -- Efficient Representation and Computation of Reachable Sets for Hybrid Systems -- Model Checking LTL over Controllable Linear Systems Is Decidable -- Approximate Reachability for Linear Systems -- Observability of Linear Hybrid Systems -- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems. | |
| 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 Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3 5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART 97), Berkeley, California, USA (HSCC 98), Nijmegen, The Neth- lands (HSCC 99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Simulation par ordinateur | ||
| 650 | |a Commande numérique | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Calculateurs hybrides | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Maler, Oded, |d 1957- |4 pbd | |
| 700 | 1 | |a Pnueli, Amir, |d 1941-2009, |c mathématicien. |4 pbd | |
| 776 | 0 | |0 07106866X |t Hybrid systems |o computation and control |o 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 |o proceedings |f Oded Maler, Amir Pnueli (eds.) |c Berlin |n Springer |d 2003 |p 1 vol. (XII-558 p.) |s Lecture notes in computer science |z 3-540-00913-2 | |
| 776 | 0 | |t Hybrid Systems: Computation and Control |b Texte imprimé |z 9783662206065 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-36580-X |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-VBRNZ7CX-K |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748052593 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-36580-X |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751503819 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-36580-X |z Accès INSA CVL | |
| 997 | |0 949338 |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/ | ||