5th International Conference of Control Theory and Computer Modelling (CTCM-2019)

December 14~15, 2019, Chennai, India

Accepted Papers

    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 control equipment.

    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.