8. HSCC 2005: Zurich, Switzerland

Invited Papers

• Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi:
  Coordinated Control for Highly Reconfigurable Systems. 1-24
  
• Edward A. Lee, Haiyang Zheng:
  Operational Semantics of Hybrid Systems. 25-53
  
• Pablo A. Parrilo:
  SOS Methods for Semi-algebraic Games and Optimization. 54-54
  

Regular Papers

• Manindra Agrawal, P. S. Thiagarajan:
  The Discrete Time Behavior of Lazy Linear Hybrid Automata. 55-69
  
• Rajeev Alur, Salvatore La Torre, P. Madhusudan:
  Perturbed Timed Automata. 70-85
  
• Aaron D. Ames, Shankar Sastry:
  A Homology Theory for Hybrid Systems: Hybrid Homology. 86-102
  
• Mohamed Babaali, George J. Pappas:
  Observability of Switched Linear Systems in Continuous Time. 103-117
  
• Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli:
  Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. 118-133
  
• Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider:
  Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. 134-150
  
• Alberto Bemporad, Stefano Di Cairano:
  Optimal Control of Discrete Hybrid Stochastic Automata. 151-167
  
• Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg E. Stewart, Kingsley Fregene, Datta N. Godbole:
  Hybrid Decentralized Control of Large Scale Systems. 168-183
  
• Jean Buisson, Pierre-Yves Richard, Hervé Cormerais:
  On the Stabilisation of Switching Electrical Power Converters. 184-197
  
• Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu:
  Bisimulation for General Stochastic Hybrid Systems. 198-214
  
• Sophie Chareyron, Pierre-Brice Wieber:
  Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction. 215-225
  
• Domitilla Del Vecchio, Richard M. Murray:
  Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order. 226-241
  
• Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh:
  Refining Abstractions of Hybrid Systems Using Counterexample Fragments. 242-257
  
• Goran Frehse:
  PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. 258-273
  
• Tobias Geyer, Georgios Papafotiou:
  Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility. 274-290
  
• Antoine Girard:
  Reachability of Uncertain Linear Systems Using Zonotopes. 291-305
  
• Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur:
  Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. 306-321
  
• João P. Hespanha:
  Polynomial Stochastic Hybrid Systems. 322-338
  
• Ian A. Hiskens:
  Non-uniqueness in Reverse Time of Hybrid System Trajectories. 339-353
  
• Aleksandar Lj. Juloski, W. P. M. H. Heemels, Giancarlo Ferrari-Trecate, René Vidal, Simone Paoletti, J. H. G. Niessen:
  Comparison of Four Procedures for the Identification of Hybrid Systems. 354-369
  
• Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler:
  An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. 370-385
  
• Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet:
  Mode-Automata Based Methodology for Scade. 386-401
  
• Ruggero Lanotte, Simone Tini:
  Taylor Approximation for Hybrid Systems. 402-416
  
• Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu:
  Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems. 417-432
  
• Andrea Lecchini, William Glover, John Lygeros, Jan M. Maciejowski:
  Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. 433-448
  
• Yi Ma, René Vidal:
  Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties. 449-465
  
• Tejas R. Mehta, Magnus Egerstedt:
  Learning Multi-modal Control Programs. 466-479
  
• Ian M. Mitchell, Jeremy A. Templeton:
  A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. 480-494
  
• Katsunori Nakamura, Akira Fusaoka:
  On Transfinite Hybrid Automata. 495-510
  
• Dominik Niederberger:
  Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration. 511-525
  
• Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone:
  Interchange Formats for Hybrid Systems: Review and Proposal. 526-541
  
• Stephen Prajna, Anders Rantzer:
  Primal-Dual Tests for Safety and Reachability. 542-556
  
• Robin L. Raffard, Jianghai Hu, Claire Tomlin:
  Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems. 557-572
  
• Stefan Ratschan, Zhikun She:
  Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. 573-589
  
• Enric Rodríguez-Carbonell, Ashish Tiwari:
  Generating Polynomial Invariants for Hybrid Systems. 590-605
  
• Mardavij Roozbehani, Eric Feron, Alexandre Megretski:
  Modeling, Optimization and Computation for Software Verification. 606-622
  
• Stefan Strubbe, A. J. van der Schaft:
  Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs). 623-639
  
• Paulo Tabuada:
  Sensor/Actuator Abstractions for Symbolic Embedded Control Design. 640-654
  
• Yan Wang, Zeng Qi Sun, Fu Chun Sun:
  Modeling and Control of Networked Control Systems with Random Delays. 655-666
  
• Guangming Xie, Long Wang:
  Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. 667-682
  

Last update Mon Feb 13 04:27:49 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page