A Rigorous Global Optimization Algorithm for Problems with Ordinary Differential Equations
Journal of Global Optimization
Some recent advances in validated methods for IVPs for ODEs
Applied Numerical Mathematics
Simulation of discrete linear time-invariant fuzzy dynamic systems
Fuzzy Sets and Systems
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Reachable set computation for uncertain time-varying linear systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets
Automatica (Journal of IFAC)
Efficient computation of reachable sets of linear time-invariant systems with inputs
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Benchmarking on approaches to interval observation applied to robust fault detection
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Avoiding geometric intersection operations in reachability analysis of hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Brief Guaranteed state estimation by zonotopes
Automatica (Journal of IFAC)
Computer Methods and Programs in Biomedicine
Zonotopic guaranteed state estimation for uncertain systems
Automatica (Journal of IFAC)
Hi-index | 0.01 |