English
Related papers

Related papers: A model of systems with modes and mode transitions

200 papers

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…

Category Theory · Mathematics 2019-03-18 Patrick Schultz , David I. Spivak , Christina Vasilakopoulou

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete…

Software Engineering · Computer Science 2011-06-22 Richard Banach , Huibiao Zhu , Wen Su , Runlei Huang

Modeling how human moves in the space is useful for policy-making in transportation, public safety, and public health. Human movements can be viewed as a dynamic process that human transits between states (\eg, locations) over time. In the…

Artificial Intelligence · Computer Science 2021-03-24 Hua Wei , Dongkuan Xu , Junjie Liang , Zhenhui Li

Traffic jams on roadways, echo chambers on social media, crowds of moving pedestrians, and opinion dynamics during elections are all complex social systems. These applications may seem disparate, but some of the questions that they motivate…

Physics and Society · Physics 2022-10-18 Alexandria Volkening

Recent years have witnessed an increased focus on interpretability and the use of machine learning to inform policy analysis and decision making. This paper applies machine learning to examine travel behavior and, in particular, on modeling…

Machine Learning · Computer Science 2019-02-11 Xilei Zhao , Xiang Yan , Pascal Van Hentenryck

This paper explores the connection between dynamical system properties and statistical physics of ensembles of such systems. Simple models are used to give novel phase transitions; particularly for finite N particle systems with many…

Statistical Mechanics · Physics 2007-11-06 Ajay Patwardhan

In order to develop systems capable of modeling artificial life, we need to identify, which systems can produce complex behavior. We present a novel classification method applicable to any class of deterministic discrete space and time…

Cellular Automata and Lattice Gases · Physics 2020-09-01 Barbora Hudcova , Tomas Mikolov

In this paper we present a method of discrete modeling and analysis of multi-level dynamics of complex large-scale hierarchical dynamic systems subject to external dynamic control mechanism. In a model each state describes parallel dynamics…

Multiagent Systems · Computer Science 2008-09-17 Armen Bagdasaryan

The methods are proposed for evaluation of complex dynamical systems, choice of their optimal operating modes, determination of optimal operating system from given class of equivalent systems, system's timeline behaviour analysis on the…

Optimization and Control · Mathematics 2016-03-04 Dmytro Polishchuk , Olexandr Polishchuk

We review a collection of models of random simplicial complexes together with some of the most exciting phenomena related to them. We do not attempt to cover all existing models, but try to focus on those for which many important results…

Probability · Mathematics 2022-05-04 Omer Bobrowski , Dmitri Krioukov

In this article, I develop a formal model of free will for complex systems based on emergent properties and adaptive selection. The model is based on a process ontology in which a free choice is a singular process that takes a system from…

Adaptation and Self-Organizing Systems · Physics 2020-11-16 Ian T. Durham

This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts different target languages for modeling the state-transitions of a…

Formal Languages and Automata Theory · Computer Science 2023-07-28 Javier Segovia-Aguas , Jonathan Ferrer-Mestres , Sergio Jiménez

This chapter reviews the purpose and use of models from the field of complex systems and, in particular, the implications of trying to use models to understand or make decisions within complex situations, such as policy makers usually face.…

Multiagent Systems · Computer Science 2013-11-25 Bruce Edmonds , Carlos Gershenson

Biological systems are often modeled as a system of ordinary differential equations (ODEs) with time-invariant parameters. However, cell signaling events or pharmacological interventions may alter the cellular state and induce multi-mode…

Quantitative Methods · Quantitative Biology 2020-04-28 Bing Liu

In order to develop systems capable of artificial evolution, we need to identify which systems can produce complex behavior. We present a novel classification method applicable to any class of deterministic discrete space and time dynamical…

Artificial Intelligence · Computer Science 2021-08-04 Barbora Hudcová , Tomáš Mikolov

This paper investigates a sample-based solution to the hybrid mode control problem across non-differentiable and algorithmic hybrid modes. Our approach reasons about a set of hybrid control modes as an integer-based optimization problem…

Robotics · Computer Science 2026-03-09 Yilang Liu , Haoxiang You , Ian Abraham

This work introduces a general multi-level model for self-adaptive systems. A self-adaptive system is seen as composed by two levels: the lower level describing the actual behaviour of the system and the upper level accounting for the…

Logic in Computer Science · Computer Science 2013-05-16 Emanuela Merelli , Nicola Paoletti , Luca Tesei

Biological organisms adapt to changes by processing informations from different sources, most notably from their ancestors and from their environment. We review an approach to quantify these informations by analyzing mathematical models of…

Populations and Evolution · Quantitative Biology 2016-03-23 Olivier Rivoire

We consider the optimization of a dynamical system by switching at discrete time points between abstract evolution equations composed by nonlinearly perturbed strongly continuous semigroups, nonlinear state reset maps at mode transition…

Optimization and Control · Mathematics 2016-05-18 Fabian Rueffler , Falk M. Hante

Model selection methods are used in different scientific contexts to represent a characteristic data set in terms of a reduced number of parameters. Apparently, these methods have not found their way into the literature on multibody systems…

Robotics · Computer Science 2017-05-30 Javier Ros , Xabier Iriarte , Aitor Plaza , Vicente Mata