Jens Oehlerking

Available identifiers

zbMath Open oehlerking.jensMaRDI QIDQ1990519

List of research outcomes

Publication	Date of Publication	Type
STL model checking of continuous and hybrid systems	2018-10-25	Paper
Reachset Conformance Testing of Hybrid Automata	2017-05-19	Paper
Towards Component Based Design of Hybrid Systems: Safety and Stability	2010-09-07	Paper
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems	2009-12-01	Paper
Decompositional Construction of Lyapunov Functions for Hybrid Systems	2009-04-30	Paper
Fully Automated Stability Verification for Piecewise Affine Systems	2009-03-11	Paper
Automating Verification of Cooperation, Control, and Design in Traffic Applications	2008-09-25	Paper
Towards Automatic Convergence Verification of Self-stabilizing Algorithms	2007-09-25	Paper

Research outcomes over time

This page was built for person: Jens Oehlerking