Login / Signup
Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.
Zhennan Fei
Sajed Miremadi
Knut Åkesson
Bengt Lennartson
Published in:
ICAART (1) (2011)
Keyphrases
</>
space exploration
state space
computationally expensive
control system
mobile robot
cost effective
obstacle avoidance
real time
data sets
artificial intelligence
fuzzy logic
multi modal
input output
finite state machines
state transition