Download TITOLO "Formal models for discrete distributed systems"

TITOLO "Formal models for discrete distributed systems"
Relatore N.Sabadini
Periodo: 3-4-10-11 maggio, 12-15 ore
CONTENTS
Dynamical systems: Basics concepts, Linearity, Minimal Realization, Interconnections of subsystems,
Decomposition, Open systems, Hierarchical Systems
Finite State Automata: classical definitions, Nerode theorem, Kleene theorem, Rabin automata, weighted
automata, timed automata
Automata networks and Applications:
Cellular Automata: Basic definitions on cellular automata, decision problems, examples
Products of Automata: Free partially commutative monoids and trace languages, Zielonka automata,
Zielonka Theorem, Arnold-Nivat Automata and applications to Model Checking, neural networks, Krohn–
Rhodes theorem
CospanSpan(Graph): a categorical algebra for automata
Parallel rewriting systems: Biological models of computation, Lindenmayer systems, P-Systems