<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...

Descripció completa

Dades bibliogràfiques

Autors principals:	Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
Format:	Artigo
Idioma:	Inglês
Publicat:	IEEE 2023-01-01
Col·lecció:	IEEE Open Journal of Control Systems
Matèries:	Autonomous systems black-box optimization monte-carlo tree search multi-armed bandits safety verification
Accés en línia:	https://ieeexplore.ieee.org/document/10195190/
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!