Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Hybrid Modeling of TCP Congestion Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Running in Three Dimensions: Analysis of a Point-mass Sprung-leg Model
International Journal of Robotics Research
Three-dimensional Translational Dynamics and Stability of Multi-legged Runners
International Journal of Robotics Research
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A feedback control motivation for generalized solutions to hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Stabilization of nonholonomic integrators via logic-based switching
Automatica (Journal of IFAC)
Stability results for switched controller systems
Automatica (Journal of IFAC)
Qualitative behavior of output for sampled-data feedback control systems
Mathematical and Computer Modelling: An International Journal
A logical DES approach to the design of hybrid control systems
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.01 |