7. HSCC 2004: Philadelphia, PA, USA

• Manindra Agrawal, P. S. Thiagarajan:
  Lazy Rectangular Hybrid Automata. 1-15
  
• Aaron D. Ames, Shankar Sastry:
  Affine Hybrid Systems. 16-31
  
• Eugene Asarin, Thao Dang:
  Abstraction by Projection and Application to Multi-affine Systems. 32-47
  
• Mohamed Babaali, Magnus Egerstedt:
  Observability of Switched Linear Systems. 48-63
  
• Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire Tomlin:
  Inference Methods for Autonomous Stochastic Linear Hybrid Systems. 64-79
  
• Andrea Balluchi, Federico Di Natale, Alberto L. Sangiovanni-Vincentelli, Jan H. van Schuppen:
  Synthesis for Idle Speed Control of an Automotive Engine. 80-94
  
• Alexandre M. Bayen, Robin L. Raffard, Claire Tomlin:
  Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways. 95-110
  
• Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin:
  Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. 111-125
  
• Alberto Bemporad, Nicolò Giorgetti:
  A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. 126-141
  
• Amit Bhatia, Emilio Frazzoli:
  Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. 142-156
  
• Antonio Bicchi, Alessia Marigo, Benedetto Piccoli:
  Discrete and Hybrid Nonholonomy. 157-172
  
• Vincent D. Blondel, Yurii Nesterov, Jacques Theys:
  Approximations of the Rate of Growth of Switched Linear Systems. 173-186
  
• Noël Bonneuil, Patrick Saint-Pierre:
  The Hybrid Guaranteed Capture Basin Algorithm in Economics. 187-202
  
• Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
  Staying Alive as Cheaply as Possible. 203-218
  
• Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler:
  On O-Minimal Hybrid Systems. 219-233
  
• Manuela L. Bujorianu:
  Extended Stochastic Hybrid Systems and Their Reachability Problem. 234-249
  
• M. K. Çamlibel, W. P. M. H. Heemels, J. M. Schumacher:
  On the Controllability of Bimodal Piecewise Linear Systems. 250-264
  
• Pieter J. Collins, Jan H. van Schuppen:
  Observability of Piecewise-Affine Hybrid Systems. 265-279
  
• Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor:
  Non-deterministic Temporal Logics for General Flow Systems. 280-295
  
• Martin De Wulf, Laurent Doyen, Jean-François Raskin:
  Almost ASAP Semantics: From Timed Models to Timed Implementations. 296-310
  
• Domitilla Del Vecchio, Richard M. Murray:
  Discrete State Estimators for a Class of Hybrid Systems on a Lattice. 311-325
  
• Ansgar Fehnker, Franjo Ivancic:
  Benchmarks for Hybrid Systems Verification. 326-341
  
• Tobias Geyer, Georgios Papafotiou, Manfred Morari:
  On the Optimal Control of Switch-Mode DC-DC Converters. 342-356
  
• Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido:
  Event-Driven Programming with Logical Execution Times. 357-371
  
• William Glover, John Lygeros:
  A Stochastic Hybrid Model for Air Traffic Control Simulation. 372-386
  
• João P. Hespanha:
  Stochastic Hybrid Systems: Application to Communication Networks. 387-401
  
• Timothy J. Hickey, David K. Wittenberg:
  Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. 402-416
  
• Jianghai Hu, Wei Chung Wu, Shankar Sastry:
  Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems. 417-431
  
• Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi:
  Sound Code Generation from Communicating Hybrid Models. 432-447
  
• Michal Kvasnica, Pascal Grieder, Mato Baotic, Manfred Morari:
  Multi-Parametric Toolbox (MPT). 448-462
  
• Natasha A. Neogi:
  Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis. 463-476
  
• Stephen Prajna, Ali Jadbabaie:
  Safety Verification of Hybrid Systems Using Barrier Certificates. 477-492
  
• Fredrik Rosenqvist, Anders Karlström:
  Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes. 493-507
  
• William C. Rounds:
  A Spatial Logic for the Hybrid p-Calculus. 508-522
  
• Rene Sanchez, Roberto Horowitz, Masayoshi Tomizuka, Slobodan N. Simic:
  Full Paper Sheet Control Using Hybrid Automata. 523-538
  
• Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
  Constructing Invariants for Hybrid Systems. 539-554
  
• A. J. van der Schaft:
  Bisimulation of Dynamical Systems. 555-569
  
• Dharmashankar Subramanian, Kartik Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski:
  Control Design for a Hybrid Dynamic System: A NASA Life Support System. 570-584
  
• Shreyas Sundaram, Christoforos N. Hadjicostis:
  Non-concurrent Error Detection and Correction in Switched Linear Controllers. 585-599
  
• Ashish Tiwari, Gaurav Khanna:
  Nonlinear Systems: Approximating Reach Sets. 600-614
  
• Xuping Xu, Guisheng Zhai:
  On Practical Stability and Stabilization of Hybrid and Switched Systems. 615-630
  
• Christos A. Yfoulis, Robert Shorten:
  A Numerical Technique for Stability Analysis of Linear Switched Systems. 631-645
  
• Chenggui Yuan, John Lygeros:
  Asymptotic Stability and Boundedness of Delay Switching Diffusions. 646-659
  
• Patrick Lincoln, Ashish Tiwari:
  Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. 660-672
  

Last update Sun May 26 02:08:07 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page