Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings: Lecture Notes in Computer Science, cartea 4981
Editat de Magnus Egerstedt, Bud Mishraen Limba Engleză Paperback – 3 apr 2008
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 341.95 lei
- 20% Preț: 369.12 lei
- 20% Preț: 645.28 lei
- 20% Preț: 591.51 lei
- 15% Preț: 580.46 lei
- Preț: 410.88 lei
- 20% Preț: 504.57 lei
- Preț: 381.21 lei
- 20% Preț: 340.32 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 538.29 lei
- 20% Preț: 583.40 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 238.01 lei
- 17% Preț: 360.19 lei
- 20% Preț: 438.69 lei
- 20% Preț: 1183.14 lei
- 20% Preț: 596.46 lei
- 15% Preț: 438.59 lei
- 20% Preț: 655.02 lei
- 20% Preț: 649.49 lei
- 20% Preț: 309.90 lei
- 20% Preț: 337.00 lei
- Preț: 449.57 lei
- 20% Preț: 310.26 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 763.23 lei
- 20% Preț: 453.32 lei
- 20% Preț: 575.48 lei
- 20% Preț: 585.88 lei
- 20% Preț: 326.98 lei
- 20% Preț: 825.93 lei
- 17% Preț: 427.22 lei
- 20% Preț: 763.23 lei
- 20% Preț: 350.21 lei
- 20% Preț: 307.71 lei
- 20% Preț: 580.93 lei
- 20% Preț: 340.32 lei
- 20% Preț: 343.62 lei
- 20% Preț: 583.40 lei
- 20% Preț: 583.40 lei
- Preț: 389.48 lei
- 20% Preț: 353.50 lei
- 20% Preț: 607.39 lei
Preț: 666.08 lei
Preț vechi: 832.60 lei
-20% Nou
Puncte Express: 999
Preț estimativ în valută:
127.49€ • 132.59$ • 106.83£
127.49€ • 132.59$ • 106.83£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540789284
ISBN-10: 3540789286
Pagini: 702
Ilustrații: XV, 684 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.98 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540789286
Pagini: 702
Ilustrații: XV, 684 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.98 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Regular Papers.- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.- Co-simulation Tools for Networked Control Systems.- On the Maximum Principle for Impulsive Hybrid Systems.- Algebraic Identification of MIMO SARX Models.- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.- Controller Synthesis with Budget Constraints.- Trading Infinite Memory for Uniform Randomness in Timed Games.- Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components.- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions.- A Control Lyapunov Approach to Predictive Control of Hybrid Systems.- Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems.- Anytime Control Algorithms for Embedded Real-Time Systems.- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.- Observer-Based Control of Linear Complementarity Systems.- Complementarity Systems in Constrained Steady-State Optimal Control.- Dealing with Nondeterminism in Symbolic Control.- Safety and Liveness in Intelligent Intersections.- LTLC: Linear Temporal Logic for Control.- Switched and PieceWise Nonlinear Hybrid System Identification.- Verification of Supervisory Control Software Using State Proximity and Merging.- Optimotaxis: A Stochastic Multi-agent OptimizationProcedure with Point Measurements.- Noncausal Optimal Tracking of Linear Switched Systems.- Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems.- A Decidable Class of Planar Linear Hybrid Systems.- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization.- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process.- Distributed Lyapunov Functions in Analysis of Graph Models of Software.- On the Optimality of Dubins Paths across Heterogeneous Terrain.- Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems.- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata.- Input-to-State Stabilization with Quantized Output Feedback.- Bisimilar Finite Abstractions of Interconnected Systems.- On Controllability of Timed Continuous Petri Nets.- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications.- Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems.- Composition of Motion Description Languages.- On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems.- Short Papers.- Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps.- On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries.- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems.- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.- An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems.- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata.- Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems.- Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time.- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics.- Approximate Control Design for Solar Driven Sensor Nodes.- Modular Development of Hybrid Systems for Verification in Coq.- Steering a Leader-Follower Team Via Linear Consensus.- Logical Verification and Systematic Parametric Analysis in Train Control.- Information Theoretical Approach to Identification of Hybrid Systems.- A Policy Iteration Technique for Time Elapse over Template Polyhedra.- Generating Box Invariants.- Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles.- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates.- On the Timing of Discrete Events in Event-Driven Control Systems.- Decentralized Event-Triggered Broadcasts over Networked Control Systems.