Login / Signup
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications.
Sasinee Pruekprasert
Clovis Eberhart
Jérémy Dubut
Published in:
ICARCV (2020)
Keyphrases
</>
high level
distributed systems
optimal control
control system
retrieval systems
dynamical systems
stability analysis
autonomous systems
real time
neural network
markov chain
complex systems
model checking
control theory
bounded model checking