|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
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.
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
Compositional Cyber-Physical Systems Modeling
G. Bakirtzis, C. Vasilakopoulou, and C. H. Fleming
Applied Category Theory Conference (ACT 2020)
At the moment we are working on an alpha release
of dynamical systems modeling and safety contracts
as part of