Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. HSCC 2006: Santa Barbara, CA, USA
- João P. Hespanha, Ashish Tiwari
:
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
- Francesco Bullo:
Motion Coordination for Multi-agent Networks. 1 - P. R. Kumar:
Towards a Third Generation of Control Systems. 2 - John M. Rushby:
Hybrid Systems - And Everything Else. 3
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, Alain 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
