Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, ProceedingsSpringer Science & Business Media, 3 באפר׳ 2008 - 680 עמודים 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 continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) – a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society and organized in cooperation with ACM/SIGBED. |
תוכן
Markov SetChains as Abstractions of Stochastic Hybrid Systems | 1 |
Cosimulation Tools for Networked Control Systems | 16 |
On the Maximum Principle for Impulsive Hybrid Systems | 30 |
Algebraic Identification of MIMO SARX Models | 43 |
ContractBased Design for Computation and Verification of a ClosedLoop Hybrid System | 58 |
Controller Synthesis with Budget Constraints | 72 |
Trading Infinite Memory for Uniform Randomness in Timed Games | 87 |
Solutions to Switched HamiltonJacobi Equations and Conservation Laws Using Hybrid Components | 101 |
On the Optimality of Dubins Paths across Heterogeneous Terrain | 457 |
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems | 471 |
Discrete Dynamics of TwoDimensional Nonlinear Hybrid Automata | 486 |
InputtoState Stabilization with Quantized Output Feedback | 500 |
Bisimilar Finite Abstractions of Interconnected Systems | 514 |
On Controllability of Timed Continuous Petri Nets | 528 |
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications | 542 |
Necessary Conditions for the Impulsive TimeOptimal Control of FiniteDimensional Lagrangian Systems | 556 |
HybridTime Flows vs RealTime Transitions | 116 |
A Control Lyapunov Approach to Predictive Control of Hybrid Systems | 130 |
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems | 144 |
Anytime Control Algorithms for Embedded RealTime Systems | 158 |
Title Page | 172 |
A CounterexampleGuided Approach to Parameter Synthesis for Linear Hybrid Automata | 187 |
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems | 201 |
ZonotopeHyperplane Intersection for Hybrid Systems Reachability Analysis | 215 |
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes | 229 |
Compositional Modeling and Minimization of TimeInhomogeneous Markov Chains | 244 |
ObserverBased Control of Linear Complementarity Systems | 259 |
Complementarity Systems in Constrained SteadyState Optimal Control | 273 |
Dealing with Nondeterminism in Symbolic Control | 287 |
Safety and Liveness in Intelligent Intersections | 301 |
Linear Temporal Logic for Control | 316 |
Switched and PieceWise Nonlinear Hybrid System Identification | 330 |
Verification of Supervisory Control Software Using State Proximity and Merging | 344 |
A Stochastic Multiagent Optimization Procedure with Point Measurements | 358 |
Noncausal Optimal Tracking of Linear Switched Systems | 372 |
Realization Theory for DiscreteTime Semialgebraic Hybrid Systems | 386 |
A Decidable Class of Planar Linear Hybrid Systems | 401 |
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization | 415 |
The Sugar Cataract Development Process | 429 |
Distributed Lyapunov Functions in Analysis of Graph Models of Software | 443 |
Composition of Motion Description Languages | 570 |
On Optimal Quadratic Regulation for DiscreteTime Switched Linear Systems | 584 |
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps | 598 |
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries | 602 |
SamplingBased ResolutionComplete Algorithms for Safety Falsification of Linear Systems | 606 |
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control | 610 |
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems | 614 |
A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata | 618 |
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems | 622 |
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time | 626 |
Level Set Methods for ComputingReachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics | 630 |
Approximate Control Design for Solar Driven Sensor Nodes | 634 |
Modular Development of Hybrid Systems for Verification in Coq | 638 |
Steering a LeaderFollower Team Via Linear Consensus | 642 |
Logical Verification and Systematic Parametric Analysis in Train Control | 646 |
Information Theoretical Approach to Identification of Hybrid Systems | 650 |
A Policy Iteration Technique for Time Elapse over Template Polyhedra | 654 |
Generating Box Invariants | 658 |
Qualitative Stability Patterns for LotkaVolterra Systems on Rectangles | 662 |
SampledData Event Control of Hybrid Systems for Control Specifications Given by Predicates | 666 |
On the Timing of Discrete Events in EventDriven Control Systems | 670 |
Decentralized EventTriggered Broadcasts over Networked Control Systems | 674 |
Author Index | 678 |
מהדורות אחרות - הצג הכל
מונחים וביטויים נפוצים
abstraction algorithm analysis applied approach approximate associated assume assumption automata automaton behavior bisimulation boundary bounded called checking complex component compute consider constraints construction contains continuous corresponding defined Definition denote described different discrete distribution dynamics equation equivalent error estimation example exists finite first flow formula function given Heidelberg hybrid systems IEEE initial input intersection interval introduced invariant linear linear systems LNCS matrix measure method mode node nonlinear Note objective observer obtained operator optimal output parameters path performance positive possible present probability problem Proof properties proposed reachable References region relation represents respect satisfy sequence signal simulation solution solving space Springer stability step stochastic strategy switching Theorem theory trajectory transition transition system variables vector
קטעים בולטים
עמוד vi - Editor-in-Chief William T. Rhodes Georgia Institute of Technology School of Electrical and Computer Engineering Atlanta, GA 30332-0250, USA...