- 5 Ergebnisse
Kleinster Preis: € 85,59, größter Preis: € 101,94, Mittelwert: € 91,59
1
Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings - Jens Kirchner
Bestellen
bei hive.co.uk
£ 76,50
(ca. € 87,55)
Bestellengesponserter Link
Jens Kirchner:

Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings - neues Buch

2009, ISBN: 9783642006029

This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009.Th… Mehr…

No. 9783642006029. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
Hybrid Systems: Computation and Control - Rupak Majumdar; Paulo Tabuada
Bestellen
bei Springer.com
€ 85,59
Versand: € 0,001
Bestellengesponserter Link

Rupak Majumdar; Paulo Tabuada:

Hybrid Systems: Computation and Control - neues Buch

2009, ISBN: 9783642006029

This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. T… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
3
Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings - Eberhard Freitag
Bestellen
bei hive.co.uk
£ 76,50
(ca. € 86,34)
Bestellengesponserter Link
Eberhard Freitag:
Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings - neues Buch

2009

ISBN: 9783642006029

; PDF; Computing > Graphical & digital media applications > 3D graphics & modelling, Springer Berlin Heidelberg

  - No. 9783642006029. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
4
Hybrid Systems: Computation and Control - Rupak Majumdar; Paulo Tabuada
Bestellen
bei lehmanns.de
€ 101,94
Versand: € 0,001
Bestellengesponserter Link
Rupak Majumdar; Paulo Tabuada:
Hybrid Systems: Computation and Control - neues Buch

2009, ISBN: 9783642006029

12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelber… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
5
Hybrid Systems: Computation and Control - Rupak Majumdar;  Paulo Tabuada
Bestellen
bei lehmanns.de
€ 96,53
Versand: € 0,001
Bestellengesponserter Link
Rupak Majumdar; Paulo Tabuada:
Hybrid Systems: Computation and Control - neues Buch

2009, ISBN: 9783642006029

12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings, [ED: 2009], eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Hybrid Systems: Computation and Control


EAN (ISBN-13): 9783642006029
ISBN (ISBN-10): 3642006027
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin Heidelberg
14 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 2011-06-18T16:07:17+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-11-04T18:45:54+01:00 (Berlin)
ISBN/EAN: 9783642006029

ISBN - alternative Schreibweisen:
3-642-00602-7, 978-3-642-00602-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: majumdar, eberhard freitag
Titel des Buches: april, proceedings conference


Daten vom Verlag:

Autor/in: Rupak Majumdar; Paulo Tabuada
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Hybrid Systems: Computation and Control - 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
Verlag: Springer; Springer Berlin
492 Seiten
Erscheinungsjahr: 2009-04-30
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 492 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Cisco; algorithms; biological systems; branching bisimulation; cooperative control; design; discrete abstractions; dynamical systems; embedded systems; formal verification; hybrid automata; hybrid control systems; hybrid systems; optimization; structured analysis; C; Computer Communication Networks; Computer System Implementation; Software Engineering/Programming and Operating Systems; Special Purpose and Application-Based Systems; Processor Architectures; Logics and Meanings of Programs; Computer Communication Networks; Computer System Implementation; Software Engineering; Special Purpose and Application-Based Systems; Processor Architectures; Computer Science Logic and Foundations of Programming; Computer Science; Systemanalyse und -design; Software Engineering; Wissensbasierte Systeme, Expertensysteme; Rechnerarchitektur und Logik-Entwurf; Theoretische Informatik; BC

Regular Papers.- Applications of MetiTarski in the Verification of Control and Hybrid Systems.- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach.- Safe and Secure Networked Control Systems under Denial-of-Service Attacks.- Actors without Directors: A Kahnian View of Heterogeneous Systems.- Simultaneous Optimal Control and Discrete Stochastic Sensor Selection.- Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks.- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study.- Local Identification of Piecewise Deterministic Models of Genetic Networks.- Distributed Wombling by Robotic Sensor Networks.- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach.- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem.- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.- Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions.- Trajectory Based Verification Using Local Finite-Time Invariance.- Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program.- Uniform Consensus among Self-driven Particles.- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes.- Decompositional Construction of Lyapunov Functions for Hybrid Systems.- Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems.- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.- Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management.- On Event Based State Estimation.- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer.- Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays.- Specification and Analysis of Network Resource Requirements of Control Systems.- Periodically Controlled Hybrid Systems.- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach.- Bounded and Unbounded Safety Verification Using Bisimulation Metrics.- Short Papers.- The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers.- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata.- Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract).- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.- Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets.- Distributed Tree Rearrangements for Reachability and Robust Connectivity.- The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters.- STORMED Hybrid Games.- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540365808 Hybrid Systems: Computation and Control (Freek Wiedijk; Oded Maler; Amir Pnueli)


< zum Archiv...