Login / Signup
An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications.
Yajuan Sun
Hai Lin
Ben M. Chen
Published in:
Int. J. Control (2012)
Keyphrases
</>
input output
linear temporal logic
internal states
fuzzy model
fuzzy controller
data envelopment analysis
search algorithm
computer systems
fuzzy inference system
noise cancellation
bounded model checking
reinforcement learning
management system
specification language