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… Más…
BarnesandNoble.com new in stock. Gastos de envío:zzgl. Versandkosten., más gastos de envío 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). - Pasta blanda
2003, ISBN: 3540009132
[EAN: 9783540009139], [PU: Springer Verlag], HYBRID MODELING; CONTROL SYSTEMS; DYNAMICAL EMBEDDED REAL-TIME SYSTEMS VERIFICATION; REACTIVE FORMAL METHODS; HYBRIDIZATION; SPECIFICATION; AU… Más…
AbeBooks.de CSG Onlinebuch GMBH, Darmstadt, Germany [85260580] [Rating: 5 (von 5)] Gastos de envío: 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… Más…
amazon.co.uk Smaller World Future Gastos de envío: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
Pasta blanda
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 Gastos de envío: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 - libro nuevo
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… Más…
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). - Pasta blanda2003, ISBN: 3540009132
[EAN: 9783540009139], [PU: Springer Verlag], HYBRID MODELING; CONTROL SYSTEMS; DYNAMICAL EMBEDDED REAL-TIME SYSTEMS VERIFICATION; REACTIVE FORMAL METHODS; HYBRIDIZATION; SPECIFICATION; AU… Más…
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… Más…
2003, ISBN: 9783540009139
Pasta blanda
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
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Hybrid Systems: Computation and Control
EAN (ISBN-13): 9783540009139
ISBN (ISBN-10): 3540009132
Tapa dura
Tapa blanda
Año de publicación: 2003
Editorial: Springer Berlin
576 Páginas
Peso: 0,859 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-02-14T11:24:56-06:00 (Mexico City)
Página de detalles modificada por última vez el 2024-04-19T04:06:22-06:00 (Mexico City)
ISBN/EAN: 3540009132
ISBN - escritura alterna:
3-540-00913-2, 978-3-540-00913-9
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: ler, berg, wendt, eli amir, maler, freek, oded
Título del libro: 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
Datos del la editorial
Autor: Freek Wiedijk; Oded Maler; Amir Pnueli
Título: Lecture Notes in Computer Science; Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Editorial: Springer; Springer Berlin
564 Páginas
Año de publicación: 2003-03-18
Berlin; Heidelberg; DE
Idioma: Inglés
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
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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)
< para archivar...