Sign in
A modal interface contract theory for guarded input/output automata with an application in traffic system design.
Tung Phan-Minh
Steve Guo
Bastian Schürmann
Matthias Althoff
Richard M. Murray
Published in:
ACC (2019)
Keyphrases
</>
input output
user interface
design process
internal states
state transition
interface design
cellular automata
fuzzy model
fuzzy inference system
ibm zenterprise
network traffic
fuzzy neural network
noise cancellation