Module-Based Reinforcement Learning: Experiments with a Real Robot
Machine Learning - Special issue on learning in autonomous robots
Module-Based Reinforcement Learning: Experiments with a Real Robot
Autonomous Robots
Journal of Dynamical and Control Systems
Theoretical Computer Science
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Time-Deterministic Hybrid Transition Systems
Hybrid Systems V
Action Systems with Continuous Behaviour
Hybrid Systems V
Refinement and Continuous Behaviour
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Hybrid Modeling of TCP Congestion Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
A Hybrid Approach to Traction Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Mode Estimation of Probabilistic Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Information-Based Alpha-Beta Search and the Homicidal Chauffeur
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
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
Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Information and Computation
An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A state event detection algorithm for numerically simulating hybrid systems with model singularities
ACM Transactions on Modeling and Computer Simulation (TOMACS)
An implementation for stability in hybrid systems
ISTASC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Systems Theory and Scientific Computation - Volume 7
Dynamic Power Management with Scheduled Switching Modes
Computer Communications
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Robot learning language - Integrating programming and learning for cognitive systems
Robotics and Autonomous Systems
Hybrid control of an automotive robotized gearbox for reduction of consumptions and emissions
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Randomized multi-modal motion planning for a humanoid robot manipulation task
International Journal of Robotics Research
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
A feedback control motivation for generalized solutions to hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Survey A survey of computational complexity results in systems and control
Automatica (Journal of IFAC)
Towards a stability theory of general hybrid dynamical systems
Automatica (Journal of IFAC)
Stabilization of nonholonomic integrators via logic-based switching
Automatica (Journal of IFAC)
Robustness of trajectories with finite time extent
Automatica (Journal of IFAC)
Hi-index | 0.01 |