Login / Signup
On the one-shot data-driven verification of dissipativity of LTI systems with general quadratic supply rate function.
Tábitha E. Rosa
Bayu Jayawardhana
Published in:
ECC (2021)
Keyphrases
</>
data driven
management system
closely related
data sets
neural network
genetic algorithm
intelligent systems
face verification
information retrieval
objective function
special case
computer systems
complex systems
formal methods
automated verification