Topology in Process Calculus (I): Limit Behaviour of Agents

Ying Mingsheng

DOI: https://doi.org/10.1007/bf02948735

1999-01-01

Abstract:This paper introduces the modifications on actions of a topology on names of actions and the simplest topology on agents induced by a topology on names of actions and shows that the limit behaviour of some agents is compatible with transitional semantics.

What problem does this paper attempt to address?

An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

Wu JunDe,Zhou XuanChang,Minhyung Cho

DOI: https://doi.org/10.1007/s11432-007-2009-y

2007-01-01

Abstract:The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic theory.
Ideal Topology on Effect Algebras

Zhihao Ma,Junde Wu,Shijie Lu

DOI: https://doi.org/10.1023/b:ijtp.0000049030.33542.87

2004-01-01

International Journal of Theoretical Physics

Abstract:The ideals of effect algebras induce a topology on effect algebras. The operations ⊕ and ⊖ of effect algebras are continuous with respect to this topology.
The topology of critical processes, I (Processes and Models)

Marco Grandis

2023-09-05

Abstract:This article belongs to a subject, Directed Algebraic Topology, whose general aim is including non-reversible processes in the range of topology and algebraic topology. Here, as a further step, we also want to cover "critical processes", indivisible and unstoppable. This introductory article is devoted to fixing the new framework and representing processes of diverse domains, with minimal mathematical prerequisites. The fundamental category and singular homology in the present setting will be dealt with in a sequel.

Algebraic Topology
Revisiting Variations in Topological Transitivity

Anima Nagar

DOI: https://doi.org/10.1007/s40879-021-00509-1

2021-08-29

Abstract:Topological dynamical systems $(X,T)$ are actions $T \times X \to X$, given as $(t, x) \to tx$, on a compact, Hausdorff topological space $X$ with $T$ as an acting group or monoid. We take up the property of topological transitivity especially for semiflows $(X,S)$ and discuss the variations in its definitions.

Dynamical Systems
Topology, Randomness and Noise in Process Calculus

Ying Mingsheng

DOI: https://doi.org/10.1007/s11460-007-0024-9

2007-01-01

Frontiers of Electrical and Electronic Engineering in China

Abstract:Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the previous works, the author systematically studied topology in process calculus, probabilistic process calculus and pi-calculus with noisy channels in order to describe approximate behaviors of communicating and concurrent systems as well as randomness and noise in them. This article is a brief survey of these works.
The topology of critical processes, II (The fundamental category)

Marco Grandis

2024-09-04

Abstract:Directed Algebraic Topology studies spaces equipped with a form of direction, to include models of non-reversible processes. In the present extension we also want to cover critical processes, indecomposable and unstoppable. The first part of this series introduced controlled spaces, examining how they can model critical processes in various domains, from the change of state in a memory cell to the action of a thermostat or a siphon. We now construct the fundamental category of these spaces. [The previous version of this Preprint was too long and has been split in Parts II and III.]

Algebraic Topology
Higher order topological actions

Roman V. Buniy,Thomas W. Kephart

DOI: https://doi.org/10.1016/j.physleta.2008.05.023

2006-11-30

Abstract:In classical mechanics, an action is defined only modulo additive terms which do not modify the equations of motion; in certain cases, these terms are topological quantities. We construct an infinite sequence of higher order topological actions and argue that they play a role in quantum mechanics, and hence can be accessed experimentally.

High Energy Physics - Theory
On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method.

Pietro Baroni,Massimiliano Giacomin,Beishui Liao

DOI: https://doi.org/10.1016/j.artint.2014.03.003

IF: 14.4

2014-01-01

Artificial Intelligence

Abstract:This research note provides novel results concerning the incremental computation of the stable and ideal argumentation semantics, by extending the division-based method presented in [1] and correcting a flawed claim given there. As a basis for these results, the note synthetically reviews and discusses the topology-related properties of directionality and SCC-recursiveness in abstract argumentation semantics and analyzes their relationships with the division-based method.
Topos Semantics for a Higher-Order Temporal Logic of Actions

Philip Johnson-Freyd,Jon Aytac,Geoffrey Hulette

DOI: https://doi.org/10.4204/EPTCS.323.11

2020-09-15

Abstract:TLA is a popular temporal logic for writing stuttering-invariant specifications of digital systems. However, TLA lacks higher-order features useful for specifying modern software written in higher-order programming languages. We use categorical techniques to recast a real-time semantics for TLA in terms of the actions of a group of time dilations, or "stutters," and an extension by a monoid incorporating delays, or "falters." Via the geometric morphism of the associated presheaf topoi induced by the inclusion of stutters into falters, we construct the first model of a higher-order TLA.

Logic in Computer Science
The topology of critical processes, III (Computing homotopy)

Marco Grandis

2024-09-04

Abstract:Directed Algebraic Topology studies spaces equipped with a form of direction, to include models of non-reversible processes. In the present extension we also want to cover critical processes, indecomposable and unstoppable. The previous parts of this series introduced controlled spaces and their fundamental category. Here we study how to compute the latter. The homotopy structure of these spaces will be examined in Part IV.

Algebraic Topology
Containment of linear multi-agent systems under general interaction topologies.

Huiyang Liu,Guangming Xie,Long Wang

DOI: https://doi.org/10.1016/j.sysconle.2012.01.012

IF: 2.742

2012-01-01

Systems & Control Letters

Abstract:In this paper, the behavior of multiple agents with linear dynamics is investigated by the study of interaction topologies. According to the topology structure, the agents are classified into two categories: internal agents and boundary agents. The containment control problem proposed in this paper is that the boundary agents in the same strong component achieve consensus asymptotically, and all the internal agents converge to the convex hull spanned by the boundary agents. Furthermore, by introducing a leader into the multi-agent team, a pinning control strategy is designed for a part of agents such that all the agents can reach a consensus with the leader asymptotically. It is also shown that how to select agents with which the leader communicates such that consensus can be reached and the number of selected agents is minimum. All the results are illustrated by some simulations.
Topological Semantics for Lumped Parameter Systems Modeling

Randi Wang,Vadim Shapiro

DOI: https://doi.org/10.1016/j.aei.2019.100958

2018-11-05

Abstract:Behaviors of many engineering systems are described by lumped parameter models that encapsulate the spatially distributed nature of the system into networks of lumped elements; the dynamics of such a network is governed by a system of ordinary differential and algebraic equations. Languages and simulation tools for modeling such systems differ in syntax, informal semantics, and in the methods by which such systems of equations are generated and simulated, leading to numerous interoperability challenges. Logical extensions of SysML aim specially at unifying a subset of the underlying concepts in such languages. We propose to unify semantics of all such systems using standard notions from algebraic topology. In particular, Tonti diagrams classify all physical theories in terms of physical laws (topological and constitutive) defined over a pair of dual cochain complexes and may be used to describe different types of lumped parameter systems. We show that all possible methods for generating the corresponding state equations within each physical domain correspond to paths over Tonti diagrams. We further propose a generalization of Tonti diagram that captures the behavior and supports canonical generation of state equations for multi-domain lumped parameter systems. The unified semantics provides a basis for greater interoperability in systems modeling, supporting automated translation, integration, reuse, and numerical simulation of models created in different authoring systems and applications. Notably, the proposed algebraic topological semantics is also compatible with spatially and temporally distributed models that are at the core of modern CAD and CAE systems.

Systems and Control
Controllability of Multi‐agent Systems under Directed Topology

Yongqiang Guan,Zhijian Ji,Lin Zhang,Long Wang

DOI: https://doi.org/10.1002/rnc.3798

IF: 3.8973

2017-01-01

International Journal of Robust and Nonlinear Control

Abstract:In this paper, the controllability of multi‐agent systems is studied under leader‐follower framework, where the interconnection between agents is directed. The concept of leader‐follower connectedness is first introduced for directed graph to check controllability, and some graph‐theoretic conditions are derived for constructively designed topologies. Then, distance partition and almost equitable partition are employed to quantitatively study the controllable subspaces. Moreover, the relationship between the state invariance of multi‐agent systems and the existence of almost equitable partition is discussed. Copyright © 2017 John Wiley & Sons, Ltd.
Group actions on orbits of an amenable equivalence relation and topological versions of Kesten's theorem

Maksym Chaudkhari,Kate Juschenko,Friedrich Martin Schneider

2024-06-04

Abstract:We establish results connecting the uniform Liouville property of group actions on the classes of a countable Borel equivalence relation with amenability of this equivalence relation. We also study extensions of Kesten's theorem to certain classes of topological groups and prove a version of this theorem for amenable SIN groups. Furthermore, we discuss relationship between generalizations of Kesten's theorem and anticoncentration inequalities for the inverted orbits of random walks on the classes of an amenable equivalence relation. This allows us to construct an amenable Polish group that does not satisfy the limit conditions in combinatorial extensions of Kesten's theorem.

Group Theory,Dynamical Systems,General Topology,Probability
On the Controllability of Multiple Dynamic Agents with Fixed Topology

Fangcui Jiang,Long Wang,Guangming Xie,Zhijian Ji,Yingmin Jia

DOI: https://doi.org/10.1109/acc.2009.5159985

2009-01-01

Abstract:This paper focuses on the controllability of multi-agent systems with fixed topology based on agreement protocols. We analyze three models of agents: single integrator, double integrator and high-order integrator. For a group of single-integrator agents, controllability is studied in a unified framework for both networks with leader-following structure and networks with undirected graph. Some new necessary/sufficient conditions for controllability of networks of single-integrator agents are established. For networks of double-integrator agents, we prove that controllability of the networks is equivalent to that of networks of single-integrator agents under the same topology and same prescribed leaders. This result is further extended to the case of networks of high-order-integrator agents. Moreover, two influencing factors of controllability of networks are investigated, that is, the selection of leaders and the link weights of graphs.
Topological entropy for partial actions of the group $\mathbb Z$

A. Baraviera,Daniel Gonçalves,Danilo Royer,Ruy Exel,Fagner B. Rodrigues

DOI: https://doi.org/10.48550/arXiv.1509.06014

2021-07-30

Abstract:In this paper we introduce the definition of entropy for a partial $\mathbb{Z}$-action. We show that the definition of partial entropy is an extension of the definition of topological entropy for a $\mathbb Z$-action. We also prove that the partial topological entropy is concentrated on the non-wandering set.

Dynamical Systems
Topology and convergence on the space of measure-valued functions

Takahiro Hasebe,Ikkei Hotta,Takuya Murayama

2024-07-29

Abstract:In this paper, uniform convergence on compacta is studied on the space of functions taking values in the set of finite Borel measures. Related limit theorems, including Lévy's continuity theorem and functional limit theorems for (classical and non-commutative) additive processes, are also described.

Probability
A Halmos-von Neumann theorem for actions of general groups

Patrick Hermle,Henrik Kreidler

2023-06-19

Abstract:We give a new categorical approach to the Halmos-von Neumann theorem for actions of general topological groups. As a first step, we establish that the categories of topological and measure-preserving irreducible systems with discrete spectrum are equivalent. This allows to prove the Halmos-von Neumann theorem in the framework of topological dynamics. We then use the Pontryagin and Tannaka-Krein duality theories to obtain classification results for topological and then measure-preserving systems with discrete spectrum. As a byproduct, we obtain a complete isomorphism invariant for compactifications of a fixed topological group.

Dynamical Systems,Representation Theory
Topology-based dynamic event-triggered leader-following consensus of multi-agent systems under switching topologies

Shuo Zhang,Jinhai Liu,Wei Wang,Zhigang Zhang

DOI: https://doi.org/10.1016/j.isatra.2023.08.010

IF: 7.3

2023-08-13

ISA Transactions

Abstract:Highlights • The novel topology-based dynamic event-triggered rules are put forward. • The topology-based distributed control laws are proposed. • A novel lemma is first proposed to rule out the Zeno phenomenon concisely. • The limit on the switching speed of topological structures is relaxed. This paper is devoted to the topology-based dynamic event-triggered leader-following consensus issue of general linear multi-agent systems under switching topological structures. The novel topology-based distributed dynamic event-triggered rule is formed, in which a topology-based dynamic auxiliary variable is introduced to reduce the conservatism and save resources. Under novel triggering rules, topology-based distributed event-triggered controllers are constructed. Different control gains are designed for different topological structures. Compared with existing works, conservatism is further reduced. Then the leader-following consensus is achieved with a global exponential convergence rate. Moreover, the average dwell time method is adopted to relax restrictions on the switching speed of topological structures and an original analytical thought is put forward to rule out the Zeno phenomenon concisely and clearly. Finally, two numerical examples and a realistic mass–spring system are utilized to verify the feasibility and superiority of the proposed theory.

automation & control systems,instruments & instrumentation,engineering, multidisciplinary
A topological completeness theorem for transfinite provability logic

Juan P. Aguilera

DOI: https://doi.org/10.1007/s00153-023-00863-9

2023-02-24

Archive for Mathematical Logic

Abstract:We prove a topological completeness theorem for the modal logic containing operators intended to capture a wellordered sequence of consistency operators increasing in strength. More specifically, we prove that, given a tall-enough scattered space X , any sentence consistent with can be satisfied on a polytopological space based on finitely many Icard topologies constructed over X and corresponding to the finitely many modalities that occur in .

mathematics,logic

Topology in Process Calculus (I): Limit Behaviour of Agents

An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

Ideal Topology on Effect Algebras

The topology of critical processes, I (Processes and Models)

Revisiting Variations in Topological Transitivity

Topology, Randomness and Noise in Process Calculus

The topology of critical processes, II (The fundamental category)

Higher order topological actions

On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method.

Topos Semantics for a Higher-Order Temporal Logic of Actions

The topology of critical processes, III (Computing homotopy)

Containment of linear multi-agent systems under general interaction topologies.

Topological Semantics for Lumped Parameter Systems Modeling

Controllability of Multi‐agent Systems under Directed Topology

Group actions on orbits of an amenable equivalence relation and topological versions of Kesten's theorem

On the Controllability of Multiple Dynamic Agents with Fixed Topology

Topological entropy for partial actions of the group $\mathbb Z$

Topology and convergence on the space of measure-valued functions

A Halmos-von Neumann theorem for actions of general groups

Topology-based dynamic event-triggered leader-following consensus of multi-agent systems under switching topologies

A topological completeness theorem for transfinite provability logic