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
Invited Talks
Regular Papers
- Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang:
Behavioural Approximations for Restricted Linear Differential Hybrid Automata.
4-18

- Rajeev Alur, Mikhail Bernadsky:
Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.
19-33

- Aaron D. Ames, Paulo Tabuada, Shankar Sastry:
On the Stability of Zeno Equilibria.
34-48

- Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.
49-63

- Shun-ichi Azuma, Magnus Egerstedt, Yorai Wardi:
Output-Based Optimal Timing Control of Switched Systems.
64-78

- Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra:
Hybrid Modelling and Control of the Common Rail Injection System.
79-92

- Alberto Bemporad, Stefano Di Cairano, Jorge Júlvez:
Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata.
93-107

- Antonio Bicchi, Alessia Marigo, Benedetto Piccoli:
Improving Efficiency of Finite Plans by Optimal Choice of Input Sets.
108-122

- Peter E. Caines, M. Shahid Shaikh:
Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation.
123-137

- Thao Dang:
Approximate Reachability Computation for Polynomial Systems.
138-152

- Martin De Wulf, Laurent Doyen, Jean-François Raskin:
A Lattice Theory for Solving Games of Imperfect Information.
153-168

- Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro:
Observability of Hybrid Automata by Abstraction.
169-183

- Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, A. Viari:
Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks.
184-199

- Michael Emmi, Rupak Majumdar:
Decision Problems for the Verification of Real-Time Software.
200-211

- Giancarlo Ferrari-Trecate, Magnus Egerstedt, Annalisa Buffa, Meng Ji:
Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control.
212-226

- Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari:
Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition.
227-241

- Yan Gao, John Lygeros, Marc Quincampoix:
The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective.
242-256

- Antoine Girard, Colas Le Guernic, Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
257-271

- Antoine Girard, George J. Pappas:
Verification Using Simulation.
272-286

- Zhi Han, Bruce H. Krogh:
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.
287-301

- Jun-ichi Imura, Hiromichi Matsushima:
Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints.
302-317

- A. Agung Julius:
Approximate Abstraction of Stochastic Hybrid Automata.
318-332

- Marius Kloetzer, Calin Belta:
A Fully Automated Framework for Control of Linear Systems from LTL Specifications.
333-347

- Marius Kloetzer, Calin Belta:
Reachability Analysis of Multi-affine Systems.
348-362

- Chiheb Kossentini, Paul Caspi:
Approximation, Sampling and Voting in Hybrid Computing Systems.
363-376

- Xenofon D. Koutsoukos, Derek Riley:
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.
377-391

- Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee:
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.
392-406

- Charles Lesire, Catherine Tessier:
Estimation and Conflict Detection in Human Controlled Systems.
407-420

- Daniel Liberzon, Dragan Nesic:
Stability Analysis of Hybrid Systems Via Small-Gain Theorems.
421-435

- John Lygeros, Xuerong Mao, Chenggui Yuan:
Stochastic Hybrid Delay Population Dynamics.
436-450

- Nuno C. Martins:
Finite Gain lp Stabilization Is Impossible by Bit-Rate Constrained Feedback.
451-459

- José Meseguer, Raman Sharykin:
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.
460-475

- Sayan Mitra, Nancy A. Lynch, Daniel Liberzon:
Verifying Average Dwell Time by Solving Optimization Problems.
476-490

- Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Interchange Format for Hybrid Systems: Abstract Semantics.
491-506

- Andreas Podelski, Silke Wagner:
Model Checking of Hybrid Systems: From Reachability Towards Stability.
507-521

- Ricardo G. Sanfelice, Rafal Goebel, Andrew R. Teel:
A Feedback Control Motivation for Generalized Solutions to Hybrid Systems.
522-536

- Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Fixed Point Iteration for Computing the Time Elapse Operator.
537-551

- Issam S. Strub, Alexandre M. Bayen:
Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks.
552-567

- Haiyang Zheng, Edward A. Lee, Aaron D. Ames:
Beyond Zeno: Get on with It!
568-582

Last update Sat May 25 03:00:29 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page