RC
Rudi Coppola
Authored
2 records found
We introduce a novel approach for the construction of symbolic abstractions - simpler, finite-state models - which mimic the behaviour of a system of interest, and are commonly utilized to verify complex logic specifications. Such abstractions require an exhaustive knowledge o ...
The abstraction of dynamical systems is a powerful tool that enables the design of feedback controllers using a correct-by-design framework. We investigate a novel scheme to obtain data-driven abstractions of discrete-time stochastic processes in terms of richer discrete stochast
...
Contributed
1 records found
Aging-Aware Control and Verification of Li-Ion Battery Systems
A Data-Driven Control Appraoch
Rechargeable Lithium(Li)-Ion Batteries are a ubiquitous element of modern technology, as they pertain to efficient and sustainable energy storage for Electric Vehicles (EVs), as well as wind and solar farms. In the last decades, the production and design of such batteries and the
...