English
Related papers

Related papers: Modeling and Analysis of Three Properties of Mobil…

200 papers

This paper presents a simplification of robotic system model analysis due to the transfer of Robotic System Hierarchical Petri Net (RSHPN) meta-model properties onto the model of a designed system. Key contributions include: 1) analysis of…

Robotics · Computer Science 2026-02-12 Maksym Figat , Cezary Zieliński

Particle dynamics and multi-agent systems provide accurate dynamical models for studying and forecasting the behavior of complex interacting systems. They often take the form of a high-dimensional system of differential equations…

Machine Learning · Computer Science 2023-08-09 Yuxuan Liu , Scott G. McCalla , Hayden Schaeffer

Network emulation is a well-established method for demonstrating and testing real devices and mobile apps in a controlled scenario. This paper reports preliminary results for an open-source extension of the CrowNet pedestrian communication…

Networking and Internet Architecture · Computer Science 2021-09-27 Matthias Rupp , Stefan Schuhbäck , Lars Wischhof

Social movements, neurons in the brain or even industrial suppliers are best described by agents evolving on networks with basic interaction rules. In these real systems, the connectivity between agents corresponds to the a critical state…

Physics and Society · Physics 2007-05-23 Philippe Curty

We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components communicate by executing atomic interactions whose participants…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-08 Marius Bozga , Javier Esparza , Radu Iosif , Joseph Sifakis , Christoph Welzel

Smart speakers and robots become ever more prevalent in our daily lives. These agents are able to execute a wide range of tasks and actions and, therefore, need systems to control their execution. Current state-of-the-art such as (deep)…

Artificial Intelligence · Computer Science 2019-09-16 Christian Dondrup , Ioannis Papaioannou , Oliver Lemon

Web services represent a system with a huge number of units and many various and complex interactions. Complex networks as a tool for modelling and analyzing natural environments seem to be well adapted to such a complex system. To describe…

Software Engineering · Computer Science 2013-05-02 Chantal Cherifi , Jean-François Santucci

We propose volume-preserving networks (VPNets) for learning unknown source-free dynamical systems using trajectory data. We propose three modules and combine them to obtain two network architectures, coined R-VPNet and LA-VPNet. The…

Machine Learning · Computer Science 2022-06-16 Aiqing Zhu , Beibei Zhu , Jiawei Zhang , Yifa Tang , Jian Liu

Experimentally observed networks of interacting dynamical systems are inferred from recorded multivariate time series by evaluating a statistical measure of dependence, usually the cross-correlation coefficient, or mutual information. These…

Data Analysis, Statistics and Probability · Physics 2017-07-03 Milan Palus

Nodes movements play a significant role in disseminating messages in the sparse mobile ad-hoc network. In the network scenarios, where traditional end-to-end paths do not exist, mobility creates opportunities for nodes to connect and…

Networking and Internet Architecture · Computer Science 2013-05-07 Hemal Shah , Yogeshwar Kosta , Vikrant Patel

In areas such as computer software and hardware, manufacturing systems, and transportation, engineers encounter networks with arbitrarily large numbers of isomorphic subprocesses. Parameterized systems provide a framework for modeling such…

Formal Languages and Automata Theory · Computer Science 2016-10-03 M. H. Zibaeenejad , J. G. Thistle

We consider concurrent systems consisting of a finite but unknown number of components, that are replicated instances of a given set of finite state automata. The components communicate by executing interactions which are simultaneous…

Formal Languages and Automata Theory · Computer Science 2019-02-08 Marius Bozga , Radu Iosif , Joseph Sifakis

In this paper we consider a class of interacting particle systems on dynamic random networks, in which the joint dynamics of vertices and edges acts as one-way feedback, i.e., edges appear and disappear over time depending on the state of…

Probability · Mathematics 2025-11-06 Simone Baldassarri , Jiesen Wang

Interconnected networks describe the dynamics of important systems in a wide range such as biological systems and electrical power grids. Some important features of these systems were successfully studied and understood through simplified…

Systems and Control · Computer Science 2016-03-18 Thanh Long Vu , Konstantin Turitsyn

Design of an effective and reliable communication network supporting smart grid applications requires a selection of appropriate communication technologies and protocols. The objective of this paper is to study and quantify the capabilities…

Networking and Internet Architecture · Computer Science 2019-02-01 Desong Bian , Murat Kuzlu , Manisa Pipattanasomporn , Saifur Rahman , Di Shi

The premise of this paper is the following value proposition: Models are good when they describe a system of phenomena, and they are better when they can predict the effect of interventions upon the system. We introduce a formalism by which…

Quantitative Methods · Quantitative Biology 2020-05-13 Vincent Wang

Technologies and their production systems are used by archaeologists and anthropologists to study complexity of sociotechnical systems. However, there are several issues that hamper agreement about what constitutes complexity and how we can…

Computational Engineering, Finance, and Science · Computer Science 2022-12-01 Sebastian Fajardo , Jetty Kleijn , Frank W. Takes , Geeske H. J. Langejans

When nodes in a mobile network cluster together or move according to common external factors (e.g., cars that follow the road network), the resulting contact patterns become correlated. In this work we address the question of modelling such…

Networking and Internet Architecture · Computer Science 2014-09-24 Mikael Asplund , Simin Nadjm-Tehrani

Modern vehicles are equipped with numerous in-vehicle components that interact with the external environment through remote communications and services, such as Bluetooth and vehicle-to-infrastructure communication. These components form a…

Cryptography and Security · Computer Science 2025-10-28 Ayan Roy , Jeetkumar Patel , Rik Chakraborti , Shudip Datta

Plasticity is a fundamental property of complex systems, such as the brain or an organism. Yet it typically remains a descriptive concept inferred retrospectively from observed outcomes, such as modifications in activity or morphology.…

Neurons and Cognition · Quantitative Biology 2026-03-27 Igor Branchi
‹ Prev 1 3 4 5 6 7 10 Next ›