HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Hybrid modelling and control of power electronics
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
Runtime monitoring of stochastic cyber-physical systems with hybrid state
RV'11 Proceedings of the Second international conference on Runtime verification
Hi-index | 0.00 |