The SCEAS System
Navigation Menu

Conferences in DBLP

Hybrid Systems (hybrid)
2006 (conf/hybrid/2006)

  1. Francesco Bullo
    Motion Coordination for Multi-agent Networks. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:1- [Conf]
  2. P. R. Kumar
    Towards a Third Generation of Control Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:2- [Conf]
  3. John M. Rushby
    Hybrid Systems - And Everything Else. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:3- [Conf]
  4. Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
    Behavioural Approximations for Restricted Linear Differential Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:4-18 [Conf]
  5. Rajeev Alur, Mikhail Bernadsky
    Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:19-33 [Conf]
  6. Aaron D. Ames, Paulo Tabuada, Shankar Sastry
    On the Stability of Zeno Equilibria. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:34-48 [Conf]
  7. Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
    Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:49-63 [Conf]
  8. Shun-ichi Azuma, Magnus Egerstedt, Yorai Wardi
    Output-Based Optimal Timing Control of Switched Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:64-78 [Conf]
  9. Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra
    Hybrid Modelling and Control of the Common Rail Injection System. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:79-92 [Conf]
  10. Alberto Bemporad, Stefano Di Cairano, Jorge Júlvez
    Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:93-107 [Conf]
  11. Antonio Bicchi, Alessia Marigo, Benedetto Piccoli
    Improving Efficiency of Finite Plans by Optimal Choice of Input Sets. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:108-122 [Conf]
  12. Peter E. Caines, M. Shahid Shaikh
    Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:123-137 [Conf]
  13. Thao Dang
    Approximate Reachability Computation for Polynomial Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:138-152 [Conf]
  14. Martin De Wulf, Laurent Doyen, Jean-François Raskin
    A Lattice Theory for Solving Games of Imperfect Information. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:153-168 [Conf]
  15. Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro
    Observability of Hybrid Automata by Abstraction. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:169-183 [Conf]
  16. S. Drulhe, Giancarlo Ferrari-Trecate, H. de Jong, A. Viari
    Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:184-199 [Conf]
  17. Michael Emmi, Rupak Majumdar
    Decision Problems for the Verification of Real-Time Software. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:200-211 [Conf]
  18. Giancarlo Ferrari-Trecate, Magnus Egerstedt, A. Buffa, M. Ji
    Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:212-226 [Conf]
  19. Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari
    Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:227-241 [Conf]
  20. Yan Gao, John Lygeros, Marc Quincampoix
    The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:242-256 [Conf]
  21. Antoine Girard, Colas Le Guernic, Oded Maler
    Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:257-271 [Conf]
  22. Antoine Girard, George J. Pappas
    Verification Using Simulation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:272-286 [Conf]
  23. Zhi Han, Bruce H. Krogh
    Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:287-301 [Conf]
  24. Jun-ichi Imura, Hiromichi Matsushima
    Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:302-317 [Conf]
  25. A. Agung Julius
    Approximate Abstraction of Stochastic Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:318-332 [Conf]
  26. Marius Kloetzer, Calin Belta
    A Fully Automated Framework for Control of Linear Systems from LTL Specifications. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:333-347 [Conf]
  27. Marius Kloetzer, Calin Belta
    Reachability Analysis of Multi-affine Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:348-362 [Conf]
  28. Chiheb Kossentini, Paul Caspi
    Approximation, Sampling and Voting in Hybrid Computing Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:363-376 [Conf]
  29. Xenofon D. Koutsoukos, Derek Riley
    Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:377-391 [Conf]
  30. Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee
    R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:392-406 [Conf]
  31. Charles Lesire, Catherine Tessier
    Estimation and Conflict Detection in Human Controlled Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:407-420 [Conf]
  32. Daniel Liberzon, Dragan Nesic
    Stability Analysis of Hybrid Systems Via Small-Gain Theorems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:421-435 [Conf]
  33. John Lygeros, Xuerong Mao, Chenggui Yuan
    Stochastic Hybrid Delay Population Dynamics. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:436-450 [Conf]
  34. Nuno C. Martins
    Finite Gain lp Stabilization Is Impossible by Bit-Rate Constrained Feedback. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:451-459 [Conf]
  35. José Meseguer, Raman Sharykin
    Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:460-475 [Conf]
  36. Sayan Mitra, Nancy A. Lynch, Daniel Liberzon
    Verifying Average Dwell Time by Solving Optimization Problems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:476-490 [Conf]
  37. Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
    Interchange Format for Hybrid Systems: Abstract Semantics. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:491-506 [Conf]
  38. Andreas Podelski, Silke Wagner
    Model Checking of Hybrid Systems: From Reachability Towards Stability. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:507-521 [Conf]
  39. Ricardo G. Sanfelice, Rafal Goebel, Andrew R. Teel
    A Feedback Control Motivation for Generalized Solutions to Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:522-536 [Conf]
  40. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Fixed Point Iteration for Computing the Time Elapse Operator. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:537-551 [Conf]
  41. Issam S. Strub, Alexandre M. Bayen
    Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:552-567 [Conf]
  42. Haiyang Zheng, Edward A. Lee, Aaron D. Ames
    Beyond Zeno: Get on with It! [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:568-582 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002