- 5 Résultats
prix le plus bas: € 25,46, prix le plus élevé: € 202,71, prix moyen: € 96,66
1
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Freek Wiedijk Edit
Commander
sur BarnesandNoble.com
€ 109,99
CommanderLien sponsorisé

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Freek Wiedijk Edit - nouveau livre

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… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
2
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). - O and A Pnueli Maler
Commander
sur AbeBooks.de
€ 25,46
Envoi: € 4,001
CommanderLien sponsorisé

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). - Livres de poche

2003, ISBN: 3540009132

[EAN: 9783540009139], [PU: Springer Verlag], HYBRID MODELING; CONTROL SYSTEMS; DYNAMICAL EMBEDDED REAL-TIME SYSTEMS VERIFICATION; REACTIVE FORMAL METHODS; HYBRIDIZATION; SPECIFICATION; AU… Plus…

Frais d'envoi EUR 4.00 CSG Onlinebuch GMBH, Darmstadt, Germany [85260580] [Rating: 5 (von 5)]
3
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science) - Maler, Oded, Amir Pnueli and Freek Wiedijk
Commander
sur Achtung-Buecher.de
€ 56,89
Envoi: € 0,001
CommanderLien sponsorisé
Maler, Oded, Amir Pnueli and Freek Wiedijk:
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2008

ISBN: 3540009132

Taschenbuch 576 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) getbooks GmbH, 65510 Idstein
4
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: 2623 (Lecture Notes in Computer Science, 2623)
Commander
sur amazon.co.uk
£ 76,20
(environ € 88,25)
Envoi: € 5,561
CommanderLien sponsorisé
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: 2623 (Lecture Notes in Computer Science, 2623) - Livres de poche

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… Plus…

Frais d'envoiUsually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.56) Smaller World Future
5
Commander
sur Biblio.co.uk
$ 224,93
(environ € 202,71)
Envoi: € 16,221
CommanderLien sponsorisé
Hybrid Systems - nouveau livre

ISBN: 9783540009139

Springer , pp. 576 . Papeback. New., Springer, 6

Frais d'envoi EUR 16.22 Cold Books

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Freek Wiedijk Edit

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003.The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains.

Informations détaillées sur le livre - Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Freek Wiedijk Edit


EAN (ISBN-13): 9783540009139
ISBN (ISBN-10): 3540009132
Version reliée
Livre de poche
Date de parution: 2003
Editeur: Springer Berlin Heidelberg Core >1
576 Pages
Poids: 0,859 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-02-14T18:24:56+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-11T11:11:07+01:00 (Paris)
ISBN/EAN: 9783540009139

ISBN - Autres types d'écriture:
3-540-00913-2, 978-3-540-00913-9
Autres types d'écriture et termes associés:
Auteur du livre: ler, berg, wendt, eli amir, maler, freek, oded
Titre du livre: 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


Données de l'éditeur

Auteur: Freek Wiedijk; Oded Maler; Amir Pnueli
Titre: Lecture Notes in Computer Science; Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Editeur: Springer; Springer Berlin
564 Pages
Date de parution: 2003-03-18
Berlin; Heidelberg; DE
Langue: Anglais
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

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540365808 Hybrid Systems: Computation and Control (Freek Wiedijk; Oded Maler; Amir Pnueli)


< pour archiver...