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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Wiedijk, Freek (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Maler, Oded (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pnueli, Amir (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:1st ed. 2003.
Σειρά:Lecture Notes in Computer Science, 2623
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 07098nam a2200625 4500
001 978-3-540-36580-8
003 DE-He213
005 20191022141949.0
007 cr nn 008mamaa
008 121227s2003 gw | s |||| 0|eng d
020 |a 9783540365808  |9 978-3-540-36580-8 
024 7 |a 10.1007/3-540-36580-X  |2 doi 
040 |d GrThAP 
050 4 |a QA75.5-76.95 
050 4 |a QA76.63 
072 7 |a UY  |2 bicssc 
072 7 |a COM014000  |2 bisacsh 
072 7 |a UY  |2 thema 
072 7 |a UYA  |2 thema 
082 0 4 |a 004.0151  |2 23 
245 1 0 |a Hybrid Systems: Computation and Control  |h [electronic resource] :  |b 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /  |c edited by Freek Wiedijk, Oded Maler, Amir Pnueli. 
250 |a 1st ed. 2003. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2003. 
300 |a XII, 564 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 2623 
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 Linear Systems 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. 
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 0 |a Computers. 
650 0 |a Special purpose computers. 
650 0 |a Microprocessors. 
650 0 |a Software engineering. 
650 0 |a Computer logic. 
650 1 4 |a Theory of Computation.  |0 http://scigraph.springernature.com/things/product-market-codes/I16005 
650 2 4 |a Special Purpose and Application-Based Systems.  |0 http://scigraph.springernature.com/things/product-market-codes/I13030 
650 2 4 |a Processor Architectures.  |0 http://scigraph.springernature.com/things/product-market-codes/I13014 
650 2 4 |a Software Engineering.  |0 http://scigraph.springernature.com/things/product-market-codes/I14029 
650 2 4 |a Computation by Abstract Devices.  |0 http://scigraph.springernature.com/things/product-market-codes/I16013 
650 2 4 |a Logics and Meanings of Programs.  |0 http://scigraph.springernature.com/things/product-market-codes/I1603X 
700 1 |a Wiedijk, Freek.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Maler, Oded.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Pnueli, Amir.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783662206065 
776 0 8 |i Printed edition:  |z 9783540009139 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 2623 
856 4 0 |u https://doi.org/10.1007/3-540-36580-X  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)