Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Samari, Behrad"'
Finite abstractions (a.k.a. symbolic models) offer an effective scheme for approximating the complex continuous-space systems with simpler models in the discrete-space domain. A crucial aspect, however, is to establish a formal relation between the o
Externí odkaz:
http://arxiv.org/abs/2412.03892
This paper offers a data-driven divide-and-conquer strategy to analyze large-scale interconnected networks, characterized by both unknown mathematical models and interconnection topologies. Our data-driven scheme treats an unknown network as an inter
Externí odkaz:
http://arxiv.org/abs/2411.06743
This work is concerned with developing a data-driven approach for learning control barrier certificates (CBCs) and associated safety controllers for discrete-time nonlinear polynomial systems with unknown mathematical models, guaranteeing system safe
Externí odkaz:
http://arxiv.org/abs/2409.10026
In this work, we propose a compositional scheme based on small-gain reasoning for the safety controller synthesis of interconnected stochastic hybrid systems with both continuous evolutions and instantaneous jumps. In our proposed setting, we first o
Externí odkaz:
http://arxiv.org/abs/2409.10018
Publikováno v:
In IFAC PapersOnLine 2024 58(11):63-68
