<inline-formula><tex-math notation="LaTeX">$\mathsf{HyHooVer}$</tex-math></inline-formula>: Verification and Parameter Synthesis in Stochastic Systems With Hybrid State Space Using Optimistic Optimization

This article presents a new method for model-free verification of a general class of control systems with unknown nonlinear dynamics, where the state space has both a continuum-based and a discrete component. Specifically, we focus on finding what choices of initial states or parameters maximize a g...

ver descrição completa

Detalhes bibliográficos

Principais autores:	Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
Formato:	Artigo
Idioma:	Inglês
Publicado em:	IEEE 2023-01-01
coleção:	IEEE Open Journal of Control Systems
Assuntos:	Autonomous systems black-box optimization monte-carlo tree search multi-armed bandits safety verification
Acesso em linha:	https://ieeexplore.ieee.org/document/10195190/
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!