Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22-24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand con...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Egerstedt, Magnus (Editor ), Mishra, Bud (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Theoretical Computer Science and General Issues, 4981
Temas:
Computer science.
Computers, Special purpose.
Microprocessors.
Computer architecture.
Software engineering.
Theory of Computation.
Special Purpose and Application-Based Systems.
Processor Architectures.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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 Optimization Procedure 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.

Ejemplares similares