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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jens Oehlerking