7. HSCC 2004: Philadelphia, PA, USA

Rajeev Alur, George J. Pappas (Eds.): Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Lecture Notes in Computer Science 2993 Springer 2004, ISBN 3-540-21259-0 BibTeX

@proceedings{DBLP:conf/hybrid/2004,
  editor    = {Rajeev Alur and
               George J. Pappas},
  title     = {Hybrid Systems: Computation and Control, 7th International Workshop,
               HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
  booktitle = {HSCC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2993},
  year      = {2004},
  isbn      = {3-540-21259-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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