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ț: 323.14 lei - 20%
Preț: 461.32 lei - 20%
Preț: 460.98 lei - 20%
Preț: 390.41 lei - 20%
Preț: 526.98 lei - 15%
Preț: 388.21 lei - 20%
Preț: 461.21 lei - 20%
Preț: 390.08 lei - 20%
Preț: 496.30 lei - 20%
Preț: 461.21 lei - 20%
Preț: 389.45 lei - 15%
Preț: 461.53 lei - 20%
Preț: 389.63 lei - 20%
Preț: 496.68 lei - 20%
Preț: 461.70 lei - 20%
Preț: 251.97 lei - 20%
Preț: 390.86 lei - 20%
Preț: 532.16 lei - 20%
Preț: 461.52 lei - 20%
Preț: 255.72 lei - 20%
Preț: 498.10 lei - 20%
Preț: 497.19 lei - 20%
Preț: 499.02 lei - 20%
Preț: 389.82 lei - 20%
Preț: 390.92 lei - 20%
Preț: 390.86 lei - 20%
Preț: 390.92 lei - 20%
Preț: 390.08 lei - 20%
Preț: 461.45 lei - 20%
Preț: 392.36 lei - 20%
Preț: 460.75 lei - 20%
Preț: 461.32 lei - 20%
Preț: 389.90 lei - 20%
Preț: 639.26 lei - 20%
Preț: 390.66 lei - 20%
Preț: 391.57 lei - 20%
Preț: 389.57 lei - 20%
Preț: 497.97 lei - 20%
Preț: 462.36 lei - 20%
Preț: 460.67 lei - 20%
Preț: 423.95 lei - 5%
Preț: 515.91 lei - 15%
Preț: 535.55 lei - 20%
Preț: 531.90 lei - 20%
Preț: 403.00 lei - 20%
Preț: 535.41 lei - 20%
Preț: 461.25 lei - 20%
Preț: 498.17 lei - 20%
Preț: 461.52 lei - 20%
Preț: 249.77 lei
Preț: 640.33 lei
Preț vechi: 800.41 lei
-20%
Puncte Express: 960
Preț estimativ în valută:
113.32€ • 132.44$ • 98.39£
113.32€ • 132.44$ • 98.39£
Carte tipărită la comandă
Livrare economică 20 februarie-06 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.