English
Related papers

Related papers: Minimalistic System Modelling: Behaviours, Interfa…

200 papers

Many biological systems collectively construct complex, adaptive, and functional architectures, where function emerges from bottom-up building processes rather than top-down planning or centralized control. However, general strategies for…

Soft Condensed Matter · Physics 2026-04-15 Andrew Slezak , Varda F. Hagh

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

We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but the bound on their number is not known. Besides specifying and verifying…

Logic in Computer Science · Computer Science 2019-08-30 Marius Bozga , Radu Iosif , Joseph Sifakis

Making sense of the world and acting in it relies on building simplified mental representations that abstract away aspects of reality. This principle of cognitive mapping is universal to agents with limited resources. Living organisms,…

Artificial Intelligence · Computer Science 2025-04-30 Marta Kryven , Cole Wyeth , Aidan Curtis , Kevin Ellis

Constructing a conceptual model as an abstract representation of a portion of the real world involves capturing the (1) static (things/objects and trajectories of flow), (2) the dynamic (event identification), and (3) the behavior (e.g.,…

Software Engineering · Computer Science 2020-05-04 Sabah Al-Fedaghi

Main aim of this topical issue is to report recent advances in noisy nonequilibrium processes useful to describe the dynamics of ecological systems and to address the mechanisms of spatio-temporal pattern formation in ecology both from the…

Biological Physics · Physics 2009-11-13 Astero Provata , Igor M. Sokolov , Bernardo Spagnolo

Complex systems' modeling and simulation are powerful ways to investigate a multitude of natural phenomena providing extended knowledge on their structure and behavior. However, enhanced modeling and simulation require integration of…

We discuss the relevance of studying ecology within the framework of Complexity Science from a statistical mechanics approach. Ecology is concerned with understanding how systems level properties emerge out of the multitude of interactions…

Populations and Evolution · Quantitative Biology 2007-09-14 Henrik Jeldtoft Jensen , Elsa Arcaute

Identifying and understanding modular organizations is centrally important in the study of complex systems. Several approaches to this problem have been advanced, many framed in information-theoretic terms. Our treatment starts from the…

Adaptation and Self-Organizing Systems · Physics 2015-01-19 Artemy Kolchinsky , Luis M. Rocha

All aspects of our society, including the life sciences, need a mechanism for people working within them to represent the concepts they employ to carry out their research. For the information systems being designed and developed to support…

Human-Computer Interaction · Computer Science 2025-06-24 R. Lukyanenko , O. Pastor , V. C. Storey

Abstraction is a powerful idea widely used in science, to model, reason and explain the behavior of systems in a more tractable search space, by omitting irrelevant details. While notions of abstraction have matured for deterministic…

Artificial Intelligence · Computer Science 2020-01-14 Vaishak Belle

Some instances of creative thinking require an agent to build and test hypothetical theories. Such a reasoner needs to explore the space of not only those situations that have occurred in the past, but also those that are rationally…

Artificial Intelligence · Computer Science 2013-02-28 Raj Bhatnagar

Accountability is an often called for property of technical systems. It is a requirement for algorithmic decision systems, autonomous cyber-physical systems, and for software systems in general. As a concept, accountability goes back to the…

Software Engineering · Computer Science 2021-04-30 Severin Kacianka , Alexander Pretschner

One of the aims of systems biology is to build multiple layered and multiple scale models of living systems which can efficiently describe phenomena occurring at various level of resolution. Such models should consist of layers of various…

Dynamical Systems · Mathematics 2015-03-03 Jacek Banasiak , Aleksandra Falkiewicz , Proscovia Namayanja

A clear definition of system dynamics modeling can provide shared understanding and clarify the impact of the field. We introduce a set of characteristics that define quantitative system dynamics, selected to capture core philosophy,…

Systems and Control · Electrical Eng. & Systems 2023-08-01 Asmeret Naugle , Saeed Langarudi , Timothy Clancy

Real-world generalization, e.g., deciding to approach a never-seen-before animal, relies on contextual information as well as previous experiences. Such a seemingly easy behavioral choice requires the interplay of multiple neural…

Neurons and Cognition · Quantitative Biology 2022-01-17 Peer Herholz , Eddy Fortier , Mariya Toneva , Nicolas Farrugia , Leila Wehbe , Valentina Borghesani

The standard assumptions that underlie many conceptual and quantitative frameworks do not hold for many complex physical, biological, and social systems. Complex systems science clarifies when and why such assumptions fail and provides…

Physics and Society · Physics 2020-11-11 Alexander F. Siegenfeld , Yaneer Bar-Yam

Causal and counterfactual reasoning are emerging directions in data science that allow us to reason about hypothetical scenarios. This is particularly useful in fields like environmental and ecological sciences, where interventional data…

Artificial Intelligence · Computer Science 2024-12-06 Rafael Cabañas , Ana D. Maldonado , María Morales , Pedro A. Aguilera , Antonio Salmerón

The paper presents an explicit state-based modeling approach aimed at modeling Systems of Systems behavior. The approach allows to specify and verify incrementally safety and liveness rules without using model checking techniques. The…

Software Engineering · Computer Science 2013-11-15 Luca Pazzi

In nature self-organized systems as flock of birds, school of fishes or herd of sheeps have to deal with the presence of external agents such as predators or leaders which modify their internal dynamic. Such situations take into account a…

Biological Physics · Physics 2012-10-15 Giacomo Albi , Lorenzo Pareschi