Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen-...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2993 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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, 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, proceedings, Rajeev Alur, George J. Pappas (eds.), Berlin, Springer, 2004, 1 vol. (XII-674 p.), Lecture notes in computer science, 3-540-21259-0 • Hybrid Systems: Computation and Control, Texte imprimé, 9783662189153 |
| LEADER | 06613nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 969983 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155182587 | ||
| 020 | |a 9783540247432 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International workshop on hybrid systems : Computation and control |n (7th |d :2004 |c :Philadelphia, Pa.). | |
| 245 | 1 | 0 | |a Hybrid systems : |b computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings |c [edited by] Rajeev Alur, George J. Pappas. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2993 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Regular Papers -- Lazy Rectangular Hybrid Automata -- Affine Hybrid Systems -- Abstraction by Projection and Application to Multi-affine Systems -- Observability of Switched Linear Systems -- Inference Methods for Autonomous Stochastic Linear Hybrid Systems -- Synthesis for Idle Speed Control of an Automotive Engine -- Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways -- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems -- A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems -- Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems -- Discrete and Hybrid Nonholonomy -- Approximations of the Rate of Growth of Switched Linear Systems -- The Hybrid Guaranteed Capture Basin Algorithm in Economics -- Staying Alive as Cheaply as Possible -- On O-Minimal Hybrid Systems -- Extended Stochastic Hybrid Systems and Their Reachability Problem -- On the Controllability of Bimodal Piecewise Linear Systems -- Observability of Piecewise-Affine Hybrid Systems -- Non-deterministic Temporal Logics for General Flow Systems -- Almost ASAP Semantics: From Timed Models to Timed Implementations -- Discrete State Estimators for a Class of Hybrid Systems on a Lattice -- Benchmarks for Hybrid Systems Verification -- On the Optimal Control of Switch-Mode DC-DC Converters -- Event-Driven Programming with Logical Execution Times -- A Stochastic Hybrid Model for Air Traffic Control Simulation -- Stochastic Hybrid Systems: Application to Communication Networks -- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints -- Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems -- Sound Code Generation from Communicating Hybrid Models -- Multi-Parametric Toolbox (MPT) -- Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis -- Safety Verification of Hybrid Systems Using Barrier Certificates -- Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes -- A Spatial Logic for the Hybrid ?-Calculus -- Full Paper Sheet Control Using Hybrid Automata -- Constructing Invariants for Hybrid Systems -- Bisimulation of Dynamical Systems -- Control Design for a Hybrid Dynamic System: A NASA Life Support System -- Non-concurrent Error Detection and Correction in Switched Linear Controllers -- Nonlinear Systems: Approximating Reach Sets -- On Practical Stability and Stabilization of Hybrid and Switched Systems -- A Numerical Technique for Stability Analysis of Linear Switched Systems -- Asymptotic Stability and Boundedness of Delay Switching Diffusions -- Invited Contribution -- Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. | |
| 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 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Simulation par ordinateur | ||
| 650 | |a Systèmes informatiques |x Pannes | ||
| 650 | |a Calculateurs hybrides | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Alur, Rajeev, |d 1966- |4 pbd | |
| 700 | 1 | |a Pappas, George J., |d 19..-...., |c mathématicien. |4 pbd | |
| 776 | 0 | |0 07813322X |t Hybrid systems |o computation and control |o 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 |o proceedings |f Rajeev Alur, George J. Pappas (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (XII-674 p.) |s Lecture notes in computer science |z 3-540-21259-0 | |
| 776 | 0 | |t Hybrid Systems: Computation and Control |b Texte imprimé |z 9783662189153 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b96398 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-RVC53TZG-8 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750668075 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b96398 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754017176 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b96398 |z Accès INSA CVL | |
| 997 | |0 969983 |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/ | ||