Login / Signup
Formal Analysis of the Sampling Behavior of Stochastic Event-Triggered Control.
Giannis Delimpaltadakis
Luca Laurenti
Manuel Mazo
Published in:
IEEE Trans. Autom. Control. (2024)
Keyphrases
</>
formal analysis
monte carlo
control system
agent model
control method
formal methods
ban logic
databases
artificial intelligence
event detection
control strategy
optimal control
random sampling
discrete event
robot behavior