Conferences in DBLP

Hybrid Systems (hybrid)
2009 (conf/hybrid/2009)

1. 
   Applications of MetiTarski in the Verification of Control and Hybrid Systems. [Citation Graph (, )][DBLP]
   
   
2. 
   Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach. [Citation Graph (, )][DBLP]
   
   
3. 
   Safe and Secure Networked Control Systems under Denial-of-Service Attacks. [Citation Graph (, )][DBLP]
   
   
4. 
   Actors without Directors: A Kahnian View of Heterogeneous Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Simultaneous Optimal Control and Discrete Stochastic Sensor Selection. [Citation Graph (, )][DBLP]
   
   
6. 
   Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. [Citation Graph (, )][DBLP]
   
   
7. 
   Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. [Citation Graph (, )][DBLP]
   
   
8. 
   Local Identification of Piecewise Deterministic Models of Genetic Networks. [Citation Graph (, )][DBLP]
   
   
9. 
   Distributed Wombling by Robotic Sensor Networks. [Citation Graph (, )][DBLP]
   
   
10. 
    Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. [Citation Graph (, )][DBLP]
    
    
11. 
    Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach. [Citation Graph (, )][DBLP]
    
    
12. 
    Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. [Citation Graph (, )][DBLP]
    
    
13. 
    Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. [Citation Graph (, )][DBLP]
    
    
14. 
    Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. [Citation Graph (, )][DBLP]
    
    
15. 
    Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions. [Citation Graph (, )][DBLP]
    
    
16. 
    Trajectory Based Verification Using Local Finite-Time Invariance. [Citation Graph (, )][DBLP]
    
    
17. 
    Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program. [Citation Graph (, )][DBLP]
    
    
18. 
    Uniform Consensus among Self-driven Particles. [Citation Graph (, )][DBLP]
    
    
19. 
    Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes. [Citation Graph (, )][DBLP]
    
    
20. 
    Decompositional Construction of Lyapunov Functions for Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
21. 
    Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
22. 
    Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management. [Citation Graph (, )][DBLP]
    
    
24. 
    On Event Based State Estimation. [Citation Graph (, )][DBLP]
    
    
25. 
    Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer. [Citation Graph (, )][DBLP]
    
    
26. 
    Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays. [Citation Graph (, )][DBLP]
    
    
27. 
    Specification and Analysis of Network Resource Requirements of Control Systems. [Citation Graph (, )][DBLP]
    
    
28. 
    Periodically Controlled Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
29. 
    Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach. [Citation Graph (, )][DBLP]
    
    
30. 
    Bounded and Unbounded Safety Verification Using Bisimulation Metrics. [Citation Graph (, )][DBLP]
    
    
31. 
    The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers. [Citation Graph (, )][DBLP]
    
    
32. 
    Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
33. 
    An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. [Citation Graph (, )][DBLP]
    
    
34. 
    Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract). [Citation Graph (, )][DBLP]
    
    
35. 
    Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. [Citation Graph (, )][DBLP]
    
    
36. 
    Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets. [Citation Graph (, )][DBLP]
    
    
37. 
    Distributed Tree Rearrangements for Reachability and Robust Connectivity. [Citation Graph (, )][DBLP]
    
    
38. 
    The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters. [Citation Graph (, )][DBLP]
    
    
39. 
    STORMED Hybrid Games. [Citation Graph (, )][DBLP]
    
    
40. 
    Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. [Citation Graph (, )][DBLP]