2003, ISBN: 9783540009139
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 S… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Hybrid Systems : Computation and Control: 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003: Proceedings (Lecture Notes in Computer Science, Vol. 2623). - Taschenbuch
2003, ISBN: 3540009132
[EAN: 9783540009139], [PU: Springer Verlag], HYBRID MODELING; CONTROL SYSTEMS; DYNAMICAL EMBEDDED REAL-TIME SYSTEMS VERIFICATION; REACTIVE FORMAL METHODS; HYBRIDIZATION; SPECIFICATION; AU… Mehr…
AbeBooks.de CSG Onlinebuch GMBH, Darmstadt, Germany [85260580] [Rating: 5 (von 5)] Versandkosten: EUR 4.00 Details... |
2003, ISBN: 9783540009139
Editor: Wiedijk, Freek, Editor: Maler, Oded, Editor: Pnueli, Amir, Springer, Paperback, Auflage: 2003, 576 Seiten, Publiziert: 2003-03-18T00:00:01Z, Produktgruppe: Book, 0.8 kg, Books Glo… Mehr…
amazon.co.uk Smaller World Future Versandkosten:Usually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.56) Details... |
2003, ISBN: 9783540009139
Taschenbuch
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2003
lehmanns.de Versandkosten:Versand in 7-10 Tagen. (EUR 0.00) Details... |
Biblio.co.uk |
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Freek Wiedijk Edit - neues Buch
2003, ISBN: 9783540009139
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 S… Mehr…
O and A Pnueli Maler:
Hybrid Systems : Computation and Control: 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003: Proceedings (Lecture Notes in Computer Science, Vol. 2623). - Taschenbuch2003, ISBN: 3540009132
[EAN: 9783540009139], [PU: Springer Verlag], HYBRID MODELING; CONTROL SYSTEMS; DYNAMICAL EMBEDDED REAL-TIME SYSTEMS VERIFICATION; REACTIVE FORMAL METHODS; HYBRIDIZATION; SPECIFICATION; AU… Mehr…
2003
ISBN: 9783540009139
Editor: Wiedijk, Freek, Editor: Maler, Oded, Editor: Pnueli, Amir, Springer, Paperback, Auflage: 2003, 576 Seiten, Publiziert: 2003-03-18T00:00:01Z, Produktgruppe: Book, 0.8 kg, Books Glo… Mehr…
2003, ISBN: 9783540009139
Taschenbuch
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2003
ISBN: 9783540009139
Springer , pp. 576 . Papeback. New., Springer, 6
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Hybrid Systems: Computation and Control
EAN (ISBN-13): 9783540009139
ISBN (ISBN-10): 3540009132
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin
576 Seiten
Gewicht: 0,859 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-02-14T18:24:56+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-19T12:06:22+02:00 (Berlin)
ISBN/EAN: 3540009132
ISBN - alternative Schreibweisen:
3-540-00913-2, 978-3-540-00913-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ler, berg, wendt, eli amir, maler, freek, oded
Titel des Buches: prague, proceedings international workshop, computer systems, 2003 band, republic com, czech, hybrid systems computation control 2005, lecture notes computer science, antiquariats buchhandel, hybrid iii, april, englisch international, edit
Daten vom Verlag:
Autor/in: Freek Wiedijk; Oded Maler; Amir Pnueli
Titel: Lecture Notes in Computer Science; Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Verlag: Springer; Springer Berlin
564 Seiten
Erscheinungsjahr: 2003-03-18
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 564 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Simulation; automata; calculus; control systems; dynamical systems; embedded systems; hybrid modeling; hybrid systems; hybridization; model checking; modeling; operating system; reactive systems; robotics; systems specification; Theory of Computation; Special Purpose and Application-Based Systems; Processor Architectures; Software Engineering; Computer Science Logic and Foundations of Programming; Wissensbasierte Systeme, Expertensysteme; Rechnerarchitektur und Logik-Entwurf; Software Engineering; EA
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.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540247432 Hybrid Systems: Computation and Control (Rajeev Alur; George Pappas)
- 9783540247432 Hybrid Systems: Computation and Control (Rajeev Alur; George Pappas)
- 9783540251088 Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings Manfred Morari Edit (Manfred Morari)
- 9783540212591 Hybrid Systems by Rajeev Alur Paperback | Indigo Chapters (George Pappas)
< zum Archiv...