11. HSCC 2008: St. Louis, MO, USA

Magnus Egerstedt, Bud Mishra (Eds.): Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. Lecture Notes in Computer Science 4981 Springer 2008, ISBN 978-3-540-78928-4 BibTeX

Regular Papers

Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry:
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. 1-15
Electronic Edition (link) BibTeX
Ahmad T. Al-Hammouri, Michael S. Branicky, Vincenzo Liberatore:
Co-simulation Tools for Networked Control Systems. 16-29
Electronic Edition (link) BibTeX
Vadim Azhmyakov, Sid Ahmed Attia, Jörg Raisch:
On the Maximum Principle for Impulsive Hybrid Systems. 30-42
Electronic Edition (link) BibTeX
Laurent Bako, René Vidal:
Algebraic Identification of MIMO SARX Models. 43-57
Electronic Edition (link) BibTeX
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. 58-71
Electronic Edition (link) BibTeX
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Controller Synthesis with Budget Constraints. 72-86
Electronic Edition (link) BibTeX
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Trading Infinite Memory for Uniform Randomness in Timed Games. 87-100
Electronic Edition (link) BibTeX
Christian G. Claudel, Alexandre M. Bayen:
Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components. 101-115
Electronic Edition (link) BibTeX
Pieter J. L. Cuijpers, Michel A. Reniers:
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. 116-129
Electronic Edition (link) BibTeX
Stefano Di Cairano, Mircea Lazar, Alberto Bemporad, W. P. M. H. Heemels:
A Control Lyapunov Approach to Predictive Control of Hybrid Systems. 130-143
Electronic Edition (link) BibTeX
Stefano Di Cairano, Karl Henrik Johansson, Alberto Bemporad, Richard M. Murray:
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems. 144-157
Electronic Edition (link) BibTeX
Daniele Fontanelli, Luca Greco, Antonio Bicchi:
Anytime Control Algorithms for Embedded Real-Time Systems. 158-171
Electronic Edition (link) BibTeX
Martin Fränzle, Holger Hermanns, Tino Teige:
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. 172-186
Electronic Edition (link) BibTeX
Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. 187-200
Electronic Edition (link) BibTeX
Antoine Girard, Giordano Pola, Paulo Tabuada:
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. 201-214
Electronic Edition (link) BibTeX
Antoine Girard, Colas Le Guernic:
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. 215-228
Electronic Edition (link) BibTeX
Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska:
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. 229-243
Electronic Edition (link) BibTeX
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. 244-258
Electronic Edition (link) BibTeX
W. P. M. H. Heemels, M. K. Çamlibel, Bernard Brogliato, J. M. Schumacher:
Observer-Based Control of Linear Complementarity Systems. 259-272
Electronic Edition (link) BibTeX
Andrej Jokic, Mircea Lazar, P. P. J. van den Bosch:
Complementarity Systems in Constrained Steady-State Optimal Control. 273-286
Electronic Edition (link) BibTeX
Marius Kloetzer, Calin Belta:
Dealing with Nondeterminism in Symbolic Control. 287-300
Electronic Edition (link) BibTeX
Hemant Kowshik, Derek Caveney, P. R. Kumar:
Safety and Liveness in Intelligent Intersections. 301-315
Electronic Edition (link) BibTeX
YoungMin Kwon, Gul Agha:
LTLC: Linear Temporal Logic for Control. 316-329
Electronic Edition (link) BibTeX
Fabien Lauer, Gérard Bloch:
Switched and PieceWise Nonlinear Hybrid System Identification. 330-343
Electronic Edition (link) BibTeX
Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh:
Verification of Supervisory Control Software Using State Proximity and Merging. 344-357
Electronic Edition (link) BibTeX
Alexandre R. Mesquita, João P. Hespanha, Karl Åström:
Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements. 358-371
Electronic Edition (link) BibTeX
Gou Nakura:
Noncausal Optimal Tracking of Linear Switched Systems. 372-385
Electronic Edition (link) BibTeX
Mihály Petreczky, René Vidal:
Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems. 386-400
Electronic Edition (link) BibTeX
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
A Decidable Class of Planar Linear Hybrid Systems. 401-414
Electronic Edition (link) BibTeX
Nacim Ramdani, Nacim Meslem, Yves Candau:
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization. 415-428
Electronic Edition (link) BibTeX
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. 429-442
Electronic Edition (link) BibTeX
Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron:
Distributed Lyapunov Functions in Analysis of Graph Models of Software. 443-456
Electronic Edition (link) BibTeX
Ricardo G. Sanfelice, Emilio Frazzoli:
On the Optimality of Dubins Paths across Heterogeneous Terrain. 457-470
Electronic Edition (link) BibTeX
Axel Schild, Jan Lunze:
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems. 471-485
Electronic Edition (link) BibTeX
Lorenzo Sella, Pieter Collins:
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. 486-499
Electronic Edition (link) BibTeX
Yoav Sharon, Daniel Liberzon:
Input-to-State Stabilization with Quantized Output Feedback. 500-513
Electronic Edition (link) BibTeX
Yuichi Tazaki, Jun-ichi Imura:
Bisimilar Finite Abstractions of Interconnected Systems. 514-527
Electronic Edition (link) BibTeX
C. Renato Vázquez, Antonio Ramírez, Laura Recalde, Manuel Silva:
On Controllability of Timed Continuous Petri Nets. 528-541
Electronic Edition (link) BibTeX
Boyan Yordanov, Calin Belta:
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. 542-555
Electronic Edition (link) BibTeX
Kerim Yunt:
Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems. 556-569
Electronic Edition (link) BibTeX
Wenqi Zhang, Herbert G. Tanner:
Composition of Motion Description Languages. 570-583
Electronic Edition (link) BibTeX
Wei Zhang, Jianghai Hu:
On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems. 584-597
Electronic Edition (link) BibTeX

Short Papers

Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. 598-601
Electronic Edition (link) BibTeX
Saurabh Amin, Falk M. Hante, Alexandre M. Bayen:
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries. 602-605
Electronic Edition (link) BibTeX
Amit Bhatia, Emilio Frazzoli:
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. 606-609
Electronic Edition (link) BibTeX
Manuela L. Bujorianu, John Lygeros, Rom Langerak:
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. 610-613
Electronic Edition (link) BibTeX
Matthew Daigle, Xenofon D. Koutsoukos, Gautam Biswas:
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems. 614-617
Electronic Edition (link) BibTeX
Sumit Kumar Jha:
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. 618-621
Electronic Edition (link) BibTeX
Andrew G. Lamperski, Aaron D. Ames:
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems. 622-625
Electronic Edition (link) BibTeX
Ji-Woong Lee:
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time. 626-629
Electronic Edition (link) BibTeX
Ian M. Mitchell, Yoshihiko Susuki:
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. 630-633
Electronic Edition (link) BibTeX
Clemens Moser, Lothar Thiele, Davide Brunelli, Luca Benini:
Approximate Control Design for Solar Driven Sensor Nodes. 634-637
Electronic Edition (link) BibTeX
Milad Niqui, Olga Tveretina:
Modular Development of Hybrid Systems for Verification in Coq. 638-641
Electronic Edition (link) BibTeX
Fabio Pasqualetti, Simone Martini, Antonio Bicchi:
Steering a Leader-Follower Team Via Linear Consensus. 642-645
Electronic Edition (link) BibTeX
André Platzer, Jan-David Quesel:
Logical Verification and Systematic Parametric Analysis in Train Control. 646-649
Electronic Edition (link) BibTeX
Li Pu, Jinchun Hu, Badong Chen:
Information Theoretical Approach to Identification of Hybrid Systems. 650-653
Electronic Edition (link) BibTeX
Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic:
A Policy Iteration Technique for Time Elapse over Template Polyhedra. 654-657
Electronic Edition (link) BibTeX
Ashish Tiwari:
Generating Box Invariants. 658-661
Electronic Edition (link) BibTeX
Laurent Tournier, Jean-Luc Gouzé:
Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles. 662-665
Electronic Edition (link) BibTeX
Yoshiyuki Tsuchie, Toshimitsu Ushio:
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates. 666-669
Electronic Edition (link) BibTeX
Manel Velasco, Pau Martí, Camilo Lozoya:
On the Timing of Discrete Events in Event-Driven Control Systems. 670-673
Electronic Edition (link) BibTeX
Xiaofeng Wang, Michael D. Lemmon:
Decentralized Event-Triggered Broadcasts over Networked Control Systems. 674-677
Electronic Edition (link) BibTeX