12. HSCC 2009: San Francisco, CA, USA

Regular Papers

• Behzad Akbarpour, Lawrence C. Paulson:
  Applications of MetiTarski in the Verification of Control and Hybrid Systems. 1-15
  
• Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel:
  Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach. 16-30
  
• Saurabh Amin, Alvaro A. Cárdenas, Shankar Sastry:
  Safe and Secure Networked Control Systems under Denial-of-Service Attacks. 31-45
  
• Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis:
  Actors without Directors: A Kahnian View of Heterogeneous Systems. 46-60
  
• Daniele Bernardini, David Muñoz de la Peña, Alberto Bemporad, Emilio Frazzoli:
  Simultaneous Optimal Control and Discrete Stochastic Sensor Selection. 61-75
  
• Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto:
  Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. 76-89
  
• Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier:
  Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. 90-104
  
• Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros:
  Local Identification of Piecewise Deterministic Models of Genetic Networks. 105-119
  
• Jorge Cortés:
  Distributed Wombling by Robotic Sensor Networks. 120-134
  
• Jennifer M. Davoren:
  Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. 135-149
  
• M. C. F. Donkers, L. Hetel, W. P. M. H. Heemels, Nathan van de Wouw, M. Steinbuch:
  Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach. 150-164
  
• Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans:
  Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. 165-179
  
• Daniele Fontanelli, Luigi Palopoli, Roberto Passerone:
  Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. 180-193
  
• Radu Grosu:
  Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. 194-208
  
• Falk M. Hante, Günter Leugering:
  Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions. 209-222
  
• A. Agung Julius, George J. Pappas:
  Trajectory Based Verification Using Local Finite-Time Invariance. 223-236
  
• Mircea Lazar, Andrej Jokic:
  Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program. 237-251
  
• Ji-Woong Lee:
  Uniform Consensus among Self-driven Particles. 252-261
  
• Patrick Martin, Magnus Egerstedt:
  Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes. 262-275
  
• Jens Oehlerking, Oliver E. Theel:
  Decompositional Construction of Lyapunov Functions for Hybrid Systems. 276-290
  
• Yizhar Or, Aaron D. Ames:
  Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems. 291-305
  
• Gunther Reißig:
  Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems. 306-320
  
• Giulio Ripaccioli, Alberto Bemporad, Francis Assadian, Clement Dextreit, Stefano Di Cairano, Ilya V. Kolmanovsky:
  Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management. 321-335
  
• Joris Sijs, Mircea Lazar:
  On Event Based State Estimation. 336-350
  
• Yuichi Tazaki, Jun-ichi Imura:
  Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer. 351-365
  
• Xiaofeng Wang, Michael D. Lemmon:
  Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays. 366-380
  
• Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur:
  Specification and Analysis of Network Resource Requirements of Control Systems. 381-395
  
• Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski:
  Periodically Controlled Hybrid Systems. 396-410
  
• Wei Zhang, Alessandro Abate, Jianghai Hu:
  Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach. 411-425
  
• Gang Zheng, Antoine Girard:
  Bounded and Unbounded Safety Verification Using Bisimulation Metrics. 426-440
  

Short Papers

• Pau Martí, Manel Velasco, Enrico Bini:
  The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers. 441-444
  
• Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha:
  Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. 445-449
  
• Katsunori Nakamura, Akira Fusaoka:
  An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. 450-454
  
• Gou Nakura:
  Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract). 455-459
  
• Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
  Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. 460-464
  
• Axel Schild, Magnus Egerstedt, Jan Lunze:
  Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets. 465-469
  
• Michael Schuresko, Jorge Cortés:
  Distributed Tree Rearrangements for Reachability and Robust Connectivity. 470-474
  
• Farzin Taringoo, Peter E. Caines:
  The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters. 475-479
  
• Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
  STORMED Hybrid Games. 480-484
  
• Farn Wang:
  Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. 485-489