Talon

Vaze depicting the mythical automaton Talon Talon is both a research project and an envisioned (pre-alpha) systems modeling language focused on engendering a compositional cyber-physical systems theory. The theoretical underpinnings of the project are based on algebraic theories and categorical semantics, which we wish to mechanize with Catlab.jl. The name Talon refers to the mythological giant automaton that protected Europa.

The overarching goal of the Talon project is to create a unified and scalable environment for the modeling, analysis, and synthesis of cyber-physical systems such that we can design and deploy systems that are safer and more secure. To achieve this goal we do research in several theoretical and applied areas, including visualization, systems theory, formal methods, and applied category theory.

Theory

Compositional cyber-physical systems theory is in its infancy but is built on solid ground; model-based design, contracts, control theory, and categorical systems modeling. The ideas of compositional cyber-physical systems theory arose from a practical problem, namely how to relate different types of models, such as requirements, behaviors, and architectures in a way that properties we care about permeate formally along those differing but necessary views in cyber-physical systems.

Categorical Semantics of Cyber-Physical Systems Theory
G. Bakirtzis, C. H. Fleming, and C. Vasilakopoulou
preprint

Compositional Cyber-Physical Systems Modeling
G. Bakirtzis, C. Vasilakopoulou, and C. H. Fleming
Applied Category Theory Conference (ACT 2020)

Software

At the moment we are working on an alpha release of dynamical systems modeling and safety contracts as part of AlgebraicJulia.

People

Georgios Bakirtzis, University of Virginia
Christina Vasilakopoulou, University of Patras
Fabrizio Genovese, Statebox
Cody H. Fleming, Iowa State University