Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems.

Paul C. Attie Nancy A. Lynch

Published in: CoRR (2016)

Keyphrases

input output
dynamic systems
discrete event
mathematical model
state variables
cooperative
linear time invariant
internal states
load balancing
complex systems
fuzzy logic
management system
model based diagnosis
fuzzy logic controller
control system
search space
multi agent