- 5 Résultats
prix le plus bas: € 61,78, prix le plus élevé: € 144,68, prix moyen: € 87,44
1
Hybrid Systems: Computation and Control / 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / Joao Hespanha (u. a.) / Taschenbuch / Englisch / 2006 - Hespanha, Joao
Commander
sur booklooker.de
€ 72,90
Commander
Détails et expédition
Lien sponsorisé
Hespanha, Joao:

Hybrid Systems: Computation and Control / 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / Joao Hespanha (u. a.) / Taschenbuch / Englisch / 2006 - Livres de poche

2006, ISBN: 9783540331704

[ED: Taschenbuch], [PU: Springer Berlin], These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers … Plus…

Frais d'envoiZzgl. Versandkosten., Livraison non-comprise Buchbär
fermer(X)
2
Hybrid Systems by Joao Hespanha Paperback | Indigo Chapters
Commander
sur Indigo.ca
C$ 195,50
(environ € 144,68)
Commander
Détails et expédition
Lien sponsorisé
Hybrid Systems by Joao Hespanha Paperback | Indigo Chapters - nouveau livre

2006, ISBN: 9783540331704

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts … Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
3
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings: 3927 (Lecture Notes in Computer Science, 3927)
Commander
sur amazon.co.uk
£ 51,67
(environ € 61,78)
Envoi: € 5,741
Commander
Détails du fournisseur
Lien sponsorisé
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings: 3927 (Lecture Notes in Computer Science, 3927) - Livres de poche

2006

ISBN: 9783540331704

Editor: Hespanha, Joao, Editor: Tiwari, Ashish, Springer, Paperback, Auflage: 2006, 596 Seiten, Publiziert: 2006-03-20T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 1.85 kg, … Plus…

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.74)
fermer(X)
4
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings (Lecture Notes in Computer Science, 3927, Band 3927)
Commander
sur amazon.de
€ 79,21
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings (Lecture Notes in Computer Science, 3927, Band 3927) - Livres de poche

2006, ISBN: 9783540331704

Springer, Taschenbuch, Auflage: 2006, 604 Seiten, Publiziert: 2006-04-28T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 4.08 kg, CAD & CAM, Grafik & Multimedia, Computer & Int… Plus…

Gebraucht, wie neu. Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) buchgeheimnis
fermer(X)
5
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings (Lecture Notes in Computer Science, 3927, Band 3927)
Commander
sur amazon.de
€ 78,64
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings (Lecture Notes in Computer Science, 3927, Band 3927) - Livres de poche

2006, ISBN: 9783540331704

Springer, Taschenbuch, Auflage: 2006, 604 Seiten, Publiziert: 2006-04-28T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 4.08 kg, CAD & CAM, Grafik & Multimedia, Computer & Int… Plus…

Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) buchrakete
fermer(X)
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: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings: 3927 (Lecture Notes in Computer Science, 3927)
Auteur:
Titre:
ISBN:

9783540331704


These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.

Informations détaillées sur le livre - Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings: 3927 (Lecture Notes in Computer Science, 3927)


EAN (ISBN-13): 9783540331704
ISBN (ISBN-10): 3540331700
Version reliée
Livre de poche
Date de parution: 2006
Editeur: Springer
584 Pages
Poids: 0,851 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-03-09T21:51:07+01:00 (Paris)
Page de détail modifiée en dernier sur 2022-08-04T12:59:45+02:00 (Paris)
ISBN/EAN: 9783540331704

ISBN - Autres types d'écriture:
3-540-33170-0, 978-3-540-33170-4
Autres types d'écriture et termes associés:
Auteur du livre: tiwari, ashish, joão, hespanha, hesp
Titre du livre: hybrid systems computation control, proceedings the 9th international, santa barbara, usa and away, 2006, say this the usa, santa workshop, von der march, lecture notes computer science

Données de l'éditeur

Auteur: Joao Hespanha; Ashish Tiwari
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Hybrid Systems: Computation and Control - 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Editeur: Springer; Springer Berlin
584 Pages
Date de parution: 2006-03-20
Berlin; Heidelberg; DE
Langue: Anglais
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 584 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Scala; algorithm; algorithms; dependable systems; dynamical systems; embedded systems; formal verification; hybrid control systems; hybrid systems; model checking; modeling; real-time; real-time systems; stochastic hybrid systems; systems analysis; Theory of Computation; Special Purpose and Application-Based Systems; Processor Architectures; Computer Science Logic and Foundations of Programming; Software Engineering; Wissensbasierte Systeme, Expertensysteme; Rechnerarchitektur und Logik-Entwurf; Software Engineering; EA

Invited Talks.- Motion Coordination for Multi-agent Networks.- Towards a Third Generation of Control Systems.- Hybrid Systems—And Everything Else.- Regular Papers.- Behavioural Approximations for Restricted Linear Differential Hybrid Automata.- Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.- On the Stability of Zeno Equilibria.- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.- Output-Based Optimal Timing Control of Switched Systems.- Hybrid Modelling and Control of the Common Rail Injection System.- Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata.- Improving Efficiency of Finite Plans by Optimal Choice of Input Sets.- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation.- Approximate Reachability Computation for Polynomial Systems.- A Lattice Theory for Solving Games of Imperfect Information.- Observability of Hybrid Automata by Abstraction.- Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks.- Decision Problems for the Verification of Real-Time Software.- Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control.- Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition.- The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective.- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.- Verification Using Simulation.- Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.- Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints.- Approximate Abstraction of Stochastic HybridAutomata.- A Fully Automated Framework for Control of Linear Systems from LTL Specifications.- Reachability Analysis of Multi-affine Systems.- Approximation, Sampling and Voting in Hybrid Computing Systems.- Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.- Estimation and Conflict Detection in Human Controlled Systems.- Stability Analysis of Hybrid Systems Via Small-Gain Theorems.- Stochastic Hybrid Delay Population Dynamics.- Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback.- Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.- Verifying Average Dwell Time by Solving Optimization Problems.- Interchange Format for Hybrid Systems: Abstract Semantics.- Model Checking of Hybrid Systems: From Reachability Towards Stability.- A Feedback Control Motivation for Generalized Solutions to Hybrid Systems.- Fixed Point Iteration for Computing the Time Elapse Operator.- Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks.- Beyond Zeno: Get on with It!.
< pour archiver...