Conferences in DBLP

Hybrid Systems (hybrid)
2010 (conf/hybrid/2010)

1. 
   Succinct discrete time approximations of distributed hybrid automata. [Citation Graph (, )][DBLP]
   
   
2. 
   Accurate hybridization of nonlinear systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Compositional analysis for linear control systems. [Citation Graph (, )][DBLP]
   
   
4. 
   On integration of event-based estimation and robust MPC in a feedback loop. [Citation Graph (, )][DBLP]
   
   
5. 
   From synchronous programs to symbolic representations of hybrid systems. [Citation Graph (, )][DBLP]
   
   
6. 
   A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Timed automata with observers under energy constraints. [Citation Graph (, )][DBLP]
   
   
8. 
   Real-time scheduling of mixture-of-experts systems with limited resources. [Citation Graph (, )][DBLP]
   
   
9. 
   On a control algorithm for time-varying processor availability. [Citation Graph (, )][DBLP]
   
   
10. 
    Timed I/O automata: a complete specification theory for real-time systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Receding horizon control for temporal logic specifications. [Citation Graph (, )][DBLP]
    
    
12. 
    Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. [Citation Graph (, )][DBLP]
    
    
13. 
    Oscillation analysis of linearly coupled piecewise affine systems. [Citation Graph (, )][DBLP]
    
    
14. 
    On infinity norms as Lyapunov functions for piecewise affine systems. [Citation Graph (, )][DBLP]
    
    
15. 
    Identifiability of discrete-time linear switched systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Rank properties of poincare maps for hybrid systems with applications to bipedal walking. [Citation Graph (, )][DBLP]
    
    
17. 
    Stealthy deception attacks on water SCADA systems. [Citation Graph (, )][DBLP]
    
    
18. 
    A hybrid system model of seasonal snowpack water balance. [Citation Graph (, )][DBLP]
    
    
19. 
    Comparison of overapproximation methods for stability analysis of networked control systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Distributed Kalman Filter algorithms for self-localization of mobile devices. [Citation Graph (, )][DBLP]
    
    
21. 
    Convergence results for ant routing algorithms viastochastic approximation. [Citation Graph (, )][DBLP]
    
    
22. 
    Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Automatic invariant generation for hybrid systems using ideal fixed points. [Citation Graph (, )][DBLP]
    
    
24. 
    Safe compositional network sketches: formal framework. [Citation Graph (, )][DBLP]
    
    
25. 
    Bayesian statistical model checking with application to Simulink/Stateflow verification. [Citation Graph (, )][DBLP]
    
    
26. 
    On the connections between PCTL and dynamic programming. [Citation Graph (, )][DBLP]
    
    
27. 
    Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication. [Citation Graph (, )][DBLP]
    
    
28. 
    A generating function approach to the stability of discrete-time switched linear systems. [Citation Graph (, )][DBLP]
    
    
29. 
    Stabilization of planar switched linear systems using polar coordinates. [Citation Graph (, )][DBLP]
    
    
30. 
    Amir Pnueli and the dawn of hybrid systems. [Citation Graph (, )][DBLP]