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.37 lei - 20%
Preț: 461.65 lei - 20%
Preț: 461.32 lei - 20%
Preț: 390.69 lei - 20%
Preț: 527.36 lei - 15%
Preț: 388.50 lei - 20%
Preț: 461.52 lei - 20%
Preț: 390.35 lei - 20%
Preț: 496.64 lei - 20%
Preț: 461.52 lei - 20%
Preț: 389.72 lei - 15%
Preț: 461.85 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 252.15 lei - 20%
Preț: 391.14 lei - 20%
Preț: 532.54 lei - 20%
Preț: 461.83 lei - 20%
Preț: 255.91 lei - 20%
Preț: 498.46 lei - 20%
Preț: 497.55 lei - 20%
Preț: 499.36 lei - 20%
Preț: 390.12 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.14 lei - 20%
Preț: 391.20 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.77 lei - 20%
Preț: 392.64 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 639.72 lei - 20%
Preț: 390.94 lei - 20%
Preț: 391.86 lei - 20%
Preț: 389.85 lei - 20%
Preț: 498.32 lei - 20%
Preț: 462.67 lei - 20%
Preț: 460.98 lei - 20%
Preț: 424.26 lei - 5%
Preț: 516.27 lei - 15%
Preț: 535.92 lei - 20%
Preț: 532.28 lei - 20%
Preț: 403.00 lei - 20%
Preț: 535.77 lei - 20%
Preț: 461.57 lei - 20%
Preț: 498.50 lei - 20%
Preț: 461.83 lei - 20%
Preț: 249.95 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ă 19 februarie-05 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.