9. HSCC 2006:
Santa Barbara,
CA,
USA
João P. Hespanha, Ashish Tiwari (Eds.):
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings.
Lecture Notes in Computer Science 3927 Springer 2006, ISBN 3-540-33170-0 BibTeX
Invited Talks
Regular Papers
- Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang:
Behavioural Approximations for Restricted Linear Differential Hybrid Automata.
4-18
Electronic Edition (link) BibTeX
- Rajeev Alur, Mikhail Bernadsky:
Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.
19-33
Electronic Edition (link) BibTeX
- Aaron D. Ames, Paulo Tabuada, Shankar Sastry:
On the Stability of Zeno Equilibria.
34-48
Electronic Edition (link) BibTeX
- Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.
49-63
Electronic Edition (link) BibTeX
- Shun-ichi Azuma, Magnus Egerstedt, Yorai Wardi:
Output-Based Optimal Timing Control of Switched Systems.
64-78
Electronic Edition (link) BibTeX
- Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra:
Hybrid Modelling and Control of the Common Rail Injection System.
79-92
Electronic Edition (link) BibTeX
- Alberto Bemporad, Stefano Di Cairano, Jorge Júlvez:
Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata.
93-107
Electronic Edition (link) BibTeX
- Antonio Bicchi, Alessia Marigo, Benedetto Piccoli:
Improving Efficiency of Finite Plans by Optimal Choice of Input Sets.
108-122
Electronic Edition (link) BibTeX
- Peter E. Caines, M. Shahid Shaikh:
Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation.
123-137
Electronic Edition (link) BibTeX
- Thao Dang:
Approximate Reachability Computation for Polynomial Systems.
138-152
Electronic Edition (link) BibTeX
- Martin De Wulf, Laurent Doyen, Jean-François Raskin:
A Lattice Theory for Solving Games of Imperfect Information.
153-168
Electronic Edition (link) BibTeX
- Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro:
Observability of Hybrid Automata by Abstraction.
169-183
Electronic Edition (link) BibTeX
- Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, A. Viari:
Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks.
184-199
Electronic Edition (link) BibTeX
- Michael Emmi, Rupak Majumdar:
Decision Problems for the Verification of Real-Time Software.
200-211
Electronic Edition (link) BibTeX
- Giancarlo Ferrari-Trecate, Magnus Egerstedt, A. Buffa, Meng Ji:
Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control.
212-226
Electronic Edition (link) BibTeX
- Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari:
Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition.
227-241
Electronic Edition (link) BibTeX
- Yan Gao, John Lygeros, Marc Quincampoix:
The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective.
242-256
Electronic Edition (link) BibTeX
- Antoine Girard, Colas Le Guernic, Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
257-271
Electronic Edition (link) BibTeX
- Antoine Girard, George J. Pappas:
Verification Using Simulation.
272-286
Electronic Edition (link) BibTeX
- Zhi Han, Bruce H. Krogh:
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.
287-301
Electronic Edition (link) BibTeX
- Jun-ichi Imura, Hiromichi Matsushima:
Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints.
302-317
Electronic Edition (link) BibTeX
- A. Agung Julius:
Approximate Abstraction of Stochastic Hybrid Automata.
318-332
Electronic Edition (link) BibTeX
- Marius Kloetzer, Calin Belta:
A Fully Automated Framework for Control of Linear Systems from LTL Specifications.
333-347
Electronic Edition (link) BibTeX
- Marius Kloetzer, Calin Belta:
Reachability Analysis of Multi-affine Systems.
348-362
Electronic Edition (link) BibTeX
- Chiheb Kossentini, Paul Caspi:
Approximation, Sampling and Voting in Hybrid Computing Systems.
363-376
Electronic Edition (link) BibTeX
- Xenofon D. Koutsoukos, Derek Riley:
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.
377-391
Electronic Edition (link) BibTeX
- Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee:
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.
392-406
Electronic Edition (link) BibTeX
- Charles Lesire, Catherine Tessier:
Estimation and Conflict Detection in Human Controlled Systems.
407-420
Electronic Edition (link) BibTeX
- Daniel Liberzon, Dragan Nesic:
Stability Analysis of Hybrid Systems Via Small-Gain Theorems.
421-435
Electronic Edition (link) BibTeX
- John Lygeros, Xuerong Mao, Chenggui Yuan:
Stochastic Hybrid Delay Population Dynamics.
436-450
Electronic Edition (link) BibTeX
- Nuno C. Martins:
Finite Gain lp Stabilization Is Impossible by Bit-Rate Constrained Feedback.
451-459
Electronic Edition (link) BibTeX
- José Meseguer, Raman Sharykin:
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.
460-475
Electronic Edition (link) BibTeX
- Sayan Mitra, Nancy A. Lynch, Daniel Liberzon:
Verifying Average Dwell Time by Solving Optimization Problems.
476-490
Electronic Edition (link) BibTeX
- Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Interchange Format for Hybrid Systems: Abstract Semantics.
491-506
Electronic Edition (link) BibTeX
- Andreas Podelski, Silke Wagner:
Model Checking of Hybrid Systems: From Reachability Towards Stability.
507-521
Electronic Edition (link) BibTeX
- Ricardo G. Sanfelice, Rafal Goebel, Andrew R. Teel:
A Feedback Control Motivation for Generalized Solutions to Hybrid Systems.
522-536
Electronic Edition (link) BibTeX
- Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Fixed Point Iteration for Computing the Time Elapse Operator.
537-551
Electronic Edition (link) BibTeX
- Issam S. Strub, Alexandre M. Bayen:
Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks.
552-567
Electronic Edition (link) BibTeX
- Haiyang Zheng, Edward A. Lee, Aaron D. Ames:
Beyond Zeno: Get on with It!
568-582
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:15:33 2009
by Michael Ley (ley@uni-trier.de)
