English
Related papers

Related papers: A compositional framework for classical kinematic …

200 papers

Membrane particles such as proteins and lipids organize into zones that perform unique functions. Here, I introduce a topological and category-theoretic framework to represent particle and zone intra-scale interactions and inter-scale…

Molecular Networks · Quantitative Biology 2026-01-01 Troy A. Kervin

We describe a scheme for constructing quantum mechanics in which a quantum system is considered as a collection of open classical subsystems. This allows using the formal classical logic and classical probability theory in quantum…

Quantum Physics · Physics 2008-11-26 D. A. Slavnov

The concept of elementary particle rests on the idea that it is a physical system with no excited states, so that all possible kinematical states of the particle are just kinematical modifications of any one of them. The way of describing…

General Physics · Physics 2007-05-23 Martin Rivas

This thesis (defended 10/07/2019) develops a theory of networks of hybrid open systems and morphisms. It builds upon a framework of networks of continuous-time open systems as product and interconnection. We work out categorical notions for…

Dynamical Systems · Mathematics 2019-12-30 James Schmidt

This paper establishes a general framework for describing hybrid dynamical systems which is particularly suitable for numerical simulation. In this context, the data structures used to describe the sets and functions which comprise the…

chao-dyn · Physics 2008-02-03 Allen Back , John Guckenheimer , Mark Myers

We define a categorical notion of cybernetic system as a dynamical realisation of a generalized open game, along with a coherence condition. We show that this notion captures a wide class of cybernetic systems in computational neuroscience…

Neural and Evolutionary Computing · Computer Science 2021-01-27 Toby St Clere Smithe

In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of…

Systems and Control · Electrical Eng. & Systems 2022-07-29 Freddy Kamdem Simo , Dominique Ernadote , Dominique Lenne

Precise rules are developed in order to formalize the reasoning processes involved in standard non-relativistic quantum mechanics, with the help of analogies from classical physics. A classical or quantum description of a mechanical system…

Quantum Physics · Physics 2007-05-23 Robert B. Griffiths

Kinetically constrained spin systems play an important role in understanding key properties of the dynamics of slowly relaxing materials, such as glasses. So far kinetic constraints have been introduced in idealised models aiming to capture…

Statistical Mechanics · Physics 2016-11-09 B. Everest , M. Marcuzzi , J. P. Garrahan , I. Lesanovsky

Scientific studies of consciousness rely on objects whose existence is assumed to be independent of any consciousness. On the contrary, we assume consciousness to be fundamental, and that one of the main features of consciousness is…

Neurons and Cognition · Quantitative Biology 2021-02-26 Camilo Miguel Signorelli , Quanlong Wang , Ilyas Khan

We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising software models…

Formal Languages and Automata Theory · Computer Science 2025-08-27 Damian Arellanes

Scientists often think of the world (or some part of it) as a dynamical system, a stochastic process, or a generalization of such a system. Prominent examples of systems are (i) the system of planets orbiting the sun or any other classical…

History and Philosophy of Physics · Physics 2021-04-30 Christian List , Marcus Pivato

The basic mathematical assumptions for autonomous linear kinetic equations for a classical system are formulated, leading to the conclusion that if they are differential equations on its phase space $M$, they are at most of the 2nd order.…

High Energy Physics - Theory · Physics 2008-11-26 A. Dimakis , C. Tzanakis

We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…

Category Theory · Mathematics 2025-05-30 Sophie Libkind , David Jaz Myers

Large complexes of classical particles play central roles in biology, in polymer physics, and in other disciplines. However, physics currently lacks mathematical methods for describing such complexes in terms of component particles,…

Quantitative Methods · Quantitative Biology 2016-03-25 Muir J. Morrison , Justin B. Kinney

This paper develops a conceptual extension of the Kinetic Theory of Active Particles, building upon the framework introduced in [2]. Living systems cannot be adequately described within classical single-scale paradigms, even when refined.…

Dynamical Systems · Mathematics 2026-04-22 Diletta Burini , Damian A. Knopoff

This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity. Our basic…

Quantum Physics · Physics 2008-11-26 A. Doering , C. J. Isham

Component-based design paradigm is of paramount importance due to prolific growth in the complexity of modern-day systems. Since the components are developed primarily by multi-party vendors and often assembled to realize the overall…

Software Engineering · Computer Science 2022-05-31 Aritra Hazra

Natural materials achieve adaptive behavior through hierarchical organization and coupled mechanisms across scales. Their translation into engineering, however, remains largely heuristic. What is missing is a formal translation framework…

Soft Condensed Matter · Physics 2026-04-30 Lee Marom , Skylar Tibbits , Gioele Zardini , Markus J. Buehler

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…

Logic in Computer Science · Computer Science 2023-02-03 Tobias Kappé , Farhad Arbab , Carolyn Talcott