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…
hive.co.uk No. 9783642006029. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
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…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
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
hive.co.uk No. 9783642006029. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
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…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
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]
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
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…
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…
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]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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...