Book contents
- Frontmatter
- Contents
- Foreword
- Preface
- List of Participants
- An introduction to idempotency
- Tropical semirings
- Some automata-theoretic aspects of min-max-plus semirings
- The finite power property for rational sets of a free group
- The topological approach to the limitedness problem on distance automata
- Types and dynamics in partially additive categories
- Task resource models and (max, +) automata
- Algebraic system analysis of timed Petri nets
- Ergodic theorems for stochastic operators and discrete event networks.
- Computational issues in recursive stochastic systems
- Periodic points of nonexpansive maps
- A system-theoretic approach for discrete-event control of manufacturing systems
- Idempotent structures in the supervisory control of discrete event systems
- Maxpolynomials and discrete-event dynamic systems
- The Stochastic HJB equation and WKB method
- The Lagrange problem from the point of view of idempotent analysis
- A new differential equation for the dynamics of the Pareto sets
- Duality between probability and optimization
- Maslov optimization theory: topological aspect
- Random particle methods in (max, +) optimization problems
- The geometry of finite dimensional pseudomodules
- A general linear max-plus solution technique
- Axiomatics of thermodynamics and idempotent analysis
- The correspondence principle for idempotent calculus and some computer applications
Types and dynamics in partially additive categories
Published online by Cambridge University Press: 05 May 2010
- Frontmatter
- Contents
- Foreword
- Preface
- List of Participants
- An introduction to idempotency
- Tropical semirings
- Some automata-theoretic aspects of min-max-plus semirings
- The finite power property for rational sets of a free group
- The topological approach to the limitedness problem on distance automata
- Types and dynamics in partially additive categories
- Task resource models and (max, +) automata
- Algebraic system analysis of timed Petri nets
- Ergodic theorems for stochastic operators and discrete event networks.
- Computational issues in recursive stochastic systems
- Periodic points of nonexpansive maps
- A system-theoretic approach for discrete-event control of manufacturing systems
- Idempotent structures in the supervisory control of discrete event systems
- Maxpolynomials and discrete-event dynamic systems
- The Stochastic HJB equation and WKB method
- The Lagrange problem from the point of view of idempotent analysis
- A new differential equation for the dynamics of the Pareto sets
- Duality between probability and optimization
- Maslov optimization theory: topological aspect
- Random particle methods in (max, +) optimization problems
- The geometry of finite dimensional pseudomodules
- A general linear max-plus solution technique
- Axiomatics of thermodynamics and idempotent analysis
- The correspondence principle for idempotent calculus and some computer applications
Summary
Introduction
A challenging problem in studying complex systems is to model the internal structure of the system and its dynamical evolution in an integrated view. An algorithm computes a function with domain consisting of all its possible inputs and as codomain all possible outputs. In order to “compare” algorithms computing the same function (e.g. with respect to time or space complexity) it is necessary to model the “dynamic behavior” of the algorithm. The main approach for modeling the dynamic behavior Bh(P) of an algorithm is “the dynamic system paradigm”: Bh(P) is obtained as the action of a (control) monoid on a (state) space. Various mathematical structures have been considered for attacking such a problem; among others, deterministic automata and stochastic automata. In order to capture the fine structure of computation, an attempt to describe the “macroscopic” global dynamic behavior of an algorithm in terms of the “microscopic” local dynamic behavior of its components has recently been proposed within a logical approach to computing called “Geometry of Interaction” developed within C*-algebras. We propose an algebraic approach to “structured dynamics” inspired by the Geometry of Interaction and based on a “many objects” generalization of semirings: partially additive categories.
The paper is organized as follows: in the next section we present a general view of structural dynamics inspired by proof theory. In Section 3 we present the execution of pseudoalgorithms in the framework of partially additive categories as a kind of iteration of endomorphisms.
- Type
- Chapter
- Information
- Idempotency , pp. 112 - 132Publisher: Cambridge University PressPrint publication year: 1998
- 1
- Cited by