11 research outputs found

    An Application of the DEDS Control Synthesis Method

    No full text
    An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in this paper. The approach is based on Petri nets (PN) defined in [Peterson 1981] and directed graphs (DG) described e.g. in [Diestel 1997]. It is supported by the previous author s works, especially [Capkovic 2003], [Capkovic 1998], [Tzafestas and Capkovic 1997]

    Supervisory control of agents cooperation

    No full text

    Petri net-based problem solving

    No full text

    Modelling and Control of Discrete Event Dynamic Systems

    No full text
    Discrete event dynamic systems (DEDS) in general are investigated as to their analytical models most suitable for controlpurposes and as to the analytical methods of the control synthesis. The possibility of utilising both the selected kind of Petri netsand the oriented graphs on this way is pointed out. Because manytimes the control task specifications (like criteria, constraints, special demands, etc.) are given only verbally or in another form ofnon analytical terms, a suitable knowledge representation aboutthe specifications is needed. Special kinds of Petri nets (logical,fuzzy) are suitable on this way too. Hence, the knowledge-basedcontrol synthesis of DEDS can also be examined. The developedgraphical tools for model drawing and testing as well as for theautomated knowledge-based control synthesis are described andillustratively presented.Two approaches to modelling and control synthesis based onoriented graphs are developed. They are suitable when the system model is described by the special kind of Petri nets - statemachines. At the control synthesis the first of them is straightforward while the second one combines both the straight-lined modeldynamics development (starting from the given initial state towards the prescribed terminal one) and the backtracking modeldynamics development

    Construction of Rule Base for the Control of Discrete Event Dynamic

    No full text
    リサーチレポート(北陸先端科学技術大学院大学情報科学研究科)本文は図書館に配架されています。 / This material is stored in the JAIST library
    corecore