Login / Signup
Control Design for Bounded Partially Controlled TPNs Using Timed Extended Reachability Graphs and MDP.
Dimitri Lefebvre
Cherki Daoui
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2020)
Keyphrases
</>
petri net
state space
artificial intelligence
user interface
control structure
control unit
real time
search space
design process
formal methods