Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Schoen, Oliver"'
To advance formal verification of stochastic systems against temporal logic requirements for handling unknown dynamics, researchers have been designing data-driven approaches inspired by breakthroughs in the underlying machine learning techniques. As
Externí odkaz:
http://arxiv.org/abs/2407.21029
Algorithmic verification of realistic systems to satisfy safety and other temporal requirements has suffered from poor scalability of the employed formal approaches. To design systems with rigorous guarantees, many approaches still rely on exact mode
Externí odkaz:
http://arxiv.org/abs/2403.10497
In this paper, we present an approach for designing correct-by-design controllers for cyber-physical systems composed of multiple dynamically interconnected uncertain systems. We consider networked discrete-time uncertain nonlinear systems with addit
Externí odkaz:
http://arxiv.org/abs/2309.01276
This paper addresses the problem of data-driven computation of controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. With a focus on continuous-space stochastic systems with par
Externí odkaz:
http://arxiv.org/abs/2304.07428
We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications. Starting from a system description and a co-safe temporal logic specification, SySCoRe provides all ne
Externí odkaz:
http://arxiv.org/abs/2302.12294
This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We develop new methods for models of systems subject to both stochastic and p
Externí odkaz:
http://arxiv.org/abs/2210.08269
While trade-offs between modeling effort and model accuracy remain a major concern with system identification, resorting to data-driven methods often leads to a complete disregard for physical plausibility. To address this issue, we propose a physics
Externí odkaz:
http://arxiv.org/abs/2204.12972
Autor:
Schön, Oliver, Doneva, Daniela D.
Publikováno v:
Physical Review D (Vol. 105, No. 6, 2022)
In the present paper we take a step towards the generalization of the post-Newtonian formalism to tensor-multi-scalar theories. These are theories where we have more than one scalar field being mediators of the gravitational interaction in addition t
Externí odkaz:
http://arxiv.org/abs/2112.07388
Publikováno v:
In IFAC PapersOnLine 2024 58(11):99-106
Autor:
Mair, Johanna, Schoen, Oliver
Publikováno v:
International Journal of Emerging Markets, 2007, Vol. 2, Issue 1, pp. 54-68.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/17468800710718895