9. HSCC 2006: Santa Barbara, CA, USA

Invited Talks

• Francesco Bullo:
  Motion Coordination for Multi-agent Networks. 1
  
• P. R. Kumar:
  Towards a Third Generation of Control Systems. 2
  
• John M. Rushby:
  Hybrid Systems - And Everything Else. 3
  

Regular Papers

• Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang:
  Behavioural Approximations for Restricted Linear Differential Hybrid Automata. 4-18
  
• Rajeev Alur, Mikhail Bernadsky:
  Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems. 19-33
  
• Aaron D. Ames, Paulo Tabuada, Shankar Sastry:
  On the Stability of Zeno Equilibria. 34-48
  
• Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
  Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. 49-63
  
• Shun-ichi Azuma, Magnus Egerstedt, Yorai Wardi:
  Output-Based Optimal Timing Control of Switched Systems. 64-78
  
• Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra:
  Hybrid Modelling and Control of the Common Rail Injection System. 79-92
  
• Alberto Bemporad, Stefano Di Cairano, Jorge Júlvez:
  Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata. 93-107
  
• Antonio Bicchi, Alessia Marigo, Benedetto Piccoli:
  Improving Efficiency of Finite Plans by Optimal Choice of Input Sets. 108-122
  
• Peter E. Caines, M. Shahid Shaikh:
  Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation. 123-137
  
• Thao Dang:
  Approximate Reachability Computation for Polynomial Systems. 138-152
  
• Martin De Wulf, Laurent Doyen, Jean-François Raskin:
  A Lattice Theory for Solving Games of Imperfect Information. 153-168
  
• Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro:
  Observability of Hybrid Automata by Abstraction. 169-183
  
• Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, A. Viari:
  Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks. 184-199
  
• Michael Emmi, Rupak Majumdar:
  Decision Problems for the Verification of Real-Time Software. 200-211
  
• Giancarlo Ferrari-Trecate, Magnus Egerstedt, A. Buffa, Meng Ji:
  Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control. 212-226
  
• Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari:
  Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition. 227-241
  
• Yan Gao, John Lygeros, Marc Quincampoix:
  The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. 242-256
  
• Antoine Girard, Colas Le Guernic, Oded Maler:
  Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. 257-271
  
• Antoine Girard, George J. Pappas:
  Verification Using Simulation. 272-286
  
• Zhi Han, Bruce H. Krogh:
  Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. 287-301
  
• Jun-ichi Imura, Hiromichi Matsushima:
  Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints. 302-317
  
• A. Agung Julius:
  Approximate Abstraction of Stochastic Hybrid Automata. 318-332
  
• Marius Kloetzer, Calin Belta:
  A Fully Automated Framework for Control of Linear Systems from LTL Specifications. 333-347
  
• Marius Kloetzer, Calin Belta:
  Reachability Analysis of Multi-affine Systems. 348-362
  
• Chiheb Kossentini, Paul Caspi:
  Approximation, Sampling and Voting in Hybrid Computing Systems. 363-376
  
• Xenofon D. Koutsoukos, Derek Riley:
  Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. 377-391
  
• Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee:
  R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. 392-406
  
• Charles Lesire, Catherine Tessier:
  Estimation and Conflict Detection in Human Controlled Systems. 407-420
  
• Daniel Liberzon, Dragan Nesic:
  Stability Analysis of Hybrid Systems Via Small-Gain Theorems. 421-435
  
• John Lygeros, Xuerong Mao, Chenggui Yuan:
  Stochastic Hybrid Delay Population Dynamics. 436-450
  
• Nuno C. Martins:
  Finite Gain l_p Stabilization Is Impossible by Bit-Rate Constrained Feedback. 451-459
  
• José Meseguer, Raman Sharykin:
  Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. 460-475
  
• Sayan Mitra, Nancy A. Lynch, Daniel Liberzon:
  Verifying Average Dwell Time by Solving Optimization Problems. 476-490
  
• Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
  Interchange Format for Hybrid Systems: Abstract Semantics. 491-506
  
• Andreas Podelski, Silke Wagner:
  Model Checking of Hybrid Systems: From Reachability Towards Stability. 507-521
  
• Ricardo G. Sanfelice, Rafal Goebel, Andrew R. Teel:
  A Feedback Control Motivation for Generalized Solutions to Hybrid Systems. 522-536
  
• Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
  Fixed Point Iteration for Computing the Time Elapse Operator. 537-551
  
• Issam S. Strub, Alexandre M. Bayen:
  Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks. 552-567
  
• Haiyang Zheng, Edward A. Lee, Aaron D. Ames:
  Beyond Zeno: Get on with It! 568-582
  

Last update Tue Feb 14 03:58:35 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page