Login / Signup
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control.
Giannis Delimpaltadakis
Luca Laurenti
Manuel Mazo Jr.
Published in:
CoRR (2022)
Keyphrases
</>
formal analysis
monte carlo
formal methods
control system
point processes
ban logic
databases
knowledge base
similarity search
event detection
control strategy
control method
agent model
event recognition
metropolis hastings