11. HSCC 2008: St. Louis, MO, USA

Regular Papers

• Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry:
  Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. 1-15
  
• Ahmad T. Al-Hammouri, Michael S. Branicky, Vincenzo Liberatore:
  Co-simulation Tools for Networked Control Systems. 16-29
  
• Vadim Azhmyakov, Sid Ahmed Attia, Jörg Raisch:
  On the Maximum Principle for Impulsive Hybrid Systems. 30-42
  
• Laurent Bako, René Vidal:
  Algebraic Identification of MIMO SARX Models. 43-57
  
• Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
  Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. 58-71
  
• Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
  Controller Synthesis with Budget Constraints. 72-86
  
• Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
  Trading Infinite Memory for Uniform Randomness in Timed Games. 87-100
  
• Christian G. Claudel, Alexandre M. Bayen:
  Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components. 101-115
  
• Pieter J. L. Cuijpers, Michel A. Reniers:
  Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. 116-129
  
• Stefano Di Cairano, Mircea Lazar, Alberto Bemporad, W. P. M. H. Heemels:
  A Control Lyapunov Approach to Predictive Control of Hybrid Systems. 130-143
  
• Stefano Di Cairano, Karl Henrik Johansson, Alberto Bemporad, Richard M. Murray:
  Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems. 144-157
  
• Daniele Fontanelli, Luca Greco, Antonio Bicchi:
  Anytime Control Algorithms for Embedded Real-Time Systems. 158-171
  
• Martin Fränzle, Holger Hermanns, Tino Teige:
  Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. 172-186
  
• Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh:
  A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. 187-200
  
• Antoine Girard, Giordano Pola, Paulo Tabuada:
  Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. 201-214
  
• Antoine Girard, Colas Le Guernic:
  Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. 215-228
  
• Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska:
  Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. 229-243
  
• Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
  Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. 244-258
  
• W. P. M. H. Heemels, M. K. Çamlibel, Bernard Brogliato, J. M. Schumacher:
  Observer-Based Control of Linear Complementarity Systems. 259-272
  
• Andrej Jokic, Mircea Lazar, P. P. J. van den Bosch:
  Complementarity Systems in Constrained Steady-State Optimal Control. 273-286
  
• Marius Kloetzer, Calin Belta:
  Dealing with Nondeterminism in Symbolic Control. 287-300
  
• Hemant Kowshik, Derek Caveney, P. R. Kumar:
  Safety and Liveness in Intelligent Intersections. 301-315
  
• YoungMin Kwon, Gul Agha:
  LTLC: Linear Temporal Logic for Control. 316-329
  
• Fabien Lauer, Gérard Bloch:
  Switched and PieceWise Nonlinear Hybrid System Identification. 330-343
  
• Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh:
  Verification of Supervisory Control Software Using State Proximity and Merging. 344-357
  
• Alexandre R. Mesquita, João P. Hespanha, Karl Åström:
  Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements. 358-371
  
• Gou Nakura:
  Noncausal Optimal Tracking of Linear Switched Systems. 372-385
  
• Mihály Petreczky, René Vidal:
  Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems. 386-400
  
• Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
  A Decidable Class of Planar Linear Hybrid Systems. 401-414
  
• Nacim Ramdani, Nacim Meslem, Yves Candau:
  Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization. 415-428
  
• Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
  Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. 429-442
  
• Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron:
  Distributed Lyapunov Functions in Analysis of Graph Models of Software. 443-456
  
• Ricardo G. Sanfelice, Emilio Frazzoli:
  On the Optimality of Dubins Paths across Heterogeneous Terrain. 457-470
  
• Axel Schild, Jan Lunze:
  Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems. 471-485
  
• Lorenzo Sella, Pieter Collins:
  Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. 486-499
  
• Yoav Sharon, Daniel Liberzon:
  Input-to-State Stabilization with Quantized Output Feedback. 500-513
  
• Yuichi Tazaki, Jun-ichi Imura:
  Bisimilar Finite Abstractions of Interconnected Systems. 514-527
  
• Carlos Renato Vázquez, Antonio Ramírez, Laura Recalde, Manuel Silva:
  On Controllability of Timed Continuous Petri Nets. 528-541
  
• Boyan Yordanov, Calin Belta:
  Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. 542-555
  
• Kerim Yunt:
  Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems. 556-569
  
• Wenqi Zhang, Herbert G. Tanner:
  Composition of Motion Description Languages. 570-583
  
• Wei Zhang, Jianghai Hu:
  On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems. 584-597
  

Short Papers

• Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
  Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. 598-601
  
• Saurabh Amin, Falk M. Hante, Alexandre M. Bayen:
  On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries. 602-605
  
• Amit Bhatia, Emilio Frazzoli:
  Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. 606-609
  
• Manuela L. Bujorianu, John Lygeros, Rom Langerak:
  Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. 610-613
  
• Matthew Daigle, Xenofon D. Koutsoukos, Gautam Biswas:
  An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems. 614-617
  
• Sumit Kumar Jha:
  d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. 618-621
  
• Andrew G. Lamperski, Aaron D. Ames:
  Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems. 622-625
  
• Ji-Woong Lee:
  Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time. 626-629
  
• Ian M. Mitchell, Yoshihiko Susuki:
  Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. 630-633
  
• Clemens Moser, Lothar Thiele, Davide Brunelli, Luca Benini:
  Approximate Control Design for Solar Driven Sensor Nodes. 634-637
  
• Milad Niqui, Olga Tveretina:
  Modular Development of Hybrid Systems for Verification in Coq. 638-641
  
• Fabio Pasqualetti, Simone Martini, Antonio Bicchi:
  Steering a Leader-Follower Team Via Linear Consensus. 642-645
  
• André Platzer, Jan-David Quesel:
  Logical Verification and Systematic Parametric Analysis in Train Control. 646-649
  
• Li Pu, Jinchun Hu, Badong Chen:
  Information Theoretical Approach to Identification of Hybrid Systems. 650-653
  
• Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic:
  A Policy Iteration Technique for Time Elapse over Template Polyhedra. 654-657
  
• Ashish Tiwari:
  Generating Box Invariants. 658-661
  
• Laurent Tournier, Jean-Luc Gouzé:
  Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles. 662-665
  
• Yoshiyuki Tsuchie, Toshimitsu Ushio:
  Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates. 666-669
  
• Manel Velasco, Pau Martí, Camilo Lozoya:
  On the Timing of Discrete Events in Event-Driven Control Systems. 670-673
  
• Xiaofeng Wang, Michael D. Lemmon:
  Decentralized Event-Triggered Broadcasts over Networked Control Systems. 674-677