Verification of Hybrid Systems via Mathematical Programming
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Control of Switched Hybrid Systems Based on Disjunctive Formulations
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Mixed-integer programming for kernel-based classifiers
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
Analysis and control of hybrid systems with parameter uncertainty based on interval methods
ACC'09 Proceedings of the 2009 conference on American Control Conference
Optimal control of a class of nonlinear systems: mixed integer programming based approach
ROCOM'06 Proceedings of the 6th WSEAS international conference on Robotics, control and manufacturing technology
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
Propositional logic in control and monitoring problems
Automatica (Journal of IFAC)
An approach to guided learning of boolean functions
Mathematical and Computer Modelling: An International Journal
An integer programming approach for optimal drug dose computation
Computer Methods and Programs in Biomedicine
| Hi-index | 0.01 |