n this work we investigate whether it is possible to synthesize the control law for a discrete event dynamic system, using a polynomial representation of the system and controller. By working through a relatively simple example we propose a synthesis method based on the polynomial representation and repeated Gröbner basis computations. The supervisor objective is given in terms of forbidden states and the controller should actively be able to avoid these. We reduce the manifold of solutions by imposing a weighting function on the state space and by proposing a priority among the actuators. In this way we radically improve the computational performance and we can also control the system towards a desired state, which is our control objective. The resulting controller is an explicit state feedback. During the design phase we also obtain a polynomial describing where in the state space the computed control law is valid. This makes it possible to examine controllability and supervisability of the system.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Synthesis of a Discrete System using Algebraic Methods


    Beteiligte:

    Erscheinungsdatum :

    1996-01-01


    Medientyp :

    Paper


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629



    Algebraic Specification of Discrete Event System Models and Their Refinements

    Hu, X. / Kaneshige, A. / Onogi, K. et al. | British Library Online Contents | 1994



    ALGEBRAIC METHODS IN VEHICLE SYSTEM ANALYSIS

    Führer, Claus | Taylor & Francis Verlag | 1987


    Structured adaptive grid generation using algebraic methods

    Yang, Jiann-Cherng / Soni, Bharat K. / Roger, R. P. et al. | NTRS | 1993


    Algebraic methods for dynamic systems

    Thaler, G. J. / Siljak, D. D. / Dorf, R. C. | TIBKAT | 1966