User: Guest  Login
Sort by:
and:
next

H. Roehm, J. Oehlerking, T. Heinz, and M. Althoff
STL model checking of continuous and hybrid systems
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
2016
Han, D.; El-Guindy, A. ; Althoff, M.
Power Systems Transient Stability Analysis via Optimal Rational {L}yapunov Functions
Proceedings of the IEEE Power and Energy Society General Meeting
2016
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
2016
Silvia Magdici and Mircea Lazar
On probabilistic state space abstraction of deterministic switched systems
551-558
Proc. of the 19th IEEE International Conference on System Theory, Control and Computing
IEEE
2015
Zeestraten, M. ~J. ~A.;Pereira, A.;Althoff, M.;Calinon, S.
Online Motion Synthesis with Minimal Intervention Control and Formal Safety Guarantees
2116-2121
Proc. of IEEE International Conference on Systems, Man, and Cybernetics
2016
Roehm, H.;Oehlerking, J.;Woehrle, M.;Althoff, M.
Reachset Conformance Testing of Hybrid Automata
277-286
Proc. of Hybrid Systems: Computation and Control
2016
Roehm, H.;Oehlerking, J.;Heinz, T.;Althoff, M.
{STL} Model Checking of Continuous and Hybrid Systems
412–427
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
2016
Pereira, A.;Althoff, M.
Overapproximative Arm Occupancy Prediction for Human-Robot Interaction Built from Archetypal Movements
1394-1401
International Conference on Robotics and Automation
2016
Magdici, S.;Althoff, M.
Fail-Safe Motion Planning of Autonomous Vehicles
452-458
Proc. of the 19th International IEEE Conference on Intelligent Transportation Systems
2016
Han, D.;Rizaldi, A.;El-Guindy, A.;Althoff, M.
On Enlarging Backward Reachable Sets via Zonotopic Set Membership
685-692
Proc.of the IEEE International Symposium on Intelligent Control
2016
Sort by:
and:
next