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

October 19~20, 2019, Chennai, India

Accepted Papers


    Test for Uniform Bounded Input, Bounded Output Stability
    Rama Murthy and Mahipal Jetta, Mahindra Ecole Centrale, Hyderabad, India
    ABSTRACT
    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.
    KEYWORDS

    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
    ABSTRACT
    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.
    KEYWORDS

    Formal models, Graph Transformation Systems, (High-Level) Petri Nets.