Test for Uniform Bounded Input, Bounded Output Stability
Rama Murthy and Mahipal Jetta, Mahindra Ecole Centrale, Hyderabad, India
In this research paper, a novel concept of Uniform Bounded InputBounded Output (BIBO) stability is introduced. Using the state space formulation
of a Linear Time Invariant (LTI) system, a test for UNIFORM BIBO stability is
designed. It is expected that this test will be useful in voltage stabilizers and other
BIBO Stability, Poles, Eigen Values, Relative Stability, Linear System
Encoding Graph Transformation Systems With Symmetric Nets
Lorenzo Capra, Universit`a degli Studi di Milano, Milan, Italy
Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by a number of analysis techniques/tools. Some PN classes have been shown to be instances of GTS. In this paper, we change
perspective presenting an operational semantics of GTS in terms of Symmetric Nets, a well-known class of Coloured Petri nets featuring a structured syntax that outlines model symmetries. Some practical exploitations of the proposed operational semantics are discussed. In particular, a recently developed structural calculus for SN is used to validate graph rewriting rules
in a symbolic way.
Formal models, Graph Transformation Systems, (High-Level) Petri Nets.