1–20 von 20 Ergebnissen
|

    Control system of Multi-Iso

    Richard, E. / Zaytoon, J. | British Library Online Contents | 1997

    On hybrid control of complex systems: a survey

    Antsaklis, P. / Koutsoukos, X. / Zaytoon, J. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Abstractions and heuristics for the validation of Grafcet controlled systems

    De Loor, P. / Zaytoon, J. / Villermain-Lecolier, G. | British Library Online Contents | 1997

    Modelling and verification of hybrid systems using the TTM/RTTL framework

    Zaytoon, J. / De Loor, P. / Goeldel, C. et al. | British Library Online Contents | 1996

    Temporal behavior of Grafcet

    Lhoste, P. / Faure, J.-M. / Lesage, J.-J. et al. | British Library Online Contents | 1997

    Verification and validation of Grafcet

    Zaytoon, J. / Lesage, J.-J. / Marce, L. et al. | British Library Online Contents | 1997

    A gas storage example as a benchmark for hybrid modelling: a comparative study

    Champagnat, R. / Pingaud, H. / Alla, H. et al. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Modelling of hybrid flexible production systems by Coloured-Batches Petri nets

    Caradec, M. / Prunet, F. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    A hierarchy of discrete abstractions for a hybrid plant

    Raisch, J. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    A framework for flexible simulation of batch plants

    Fritz, M. / Preuss, K. / Engell, S. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Block-Diagram based modelling and analysis of hybrid processes under discrete control

    Stursberg, O. / Kowalewski, S. / Preussig, J. et al. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Modeling and simulation of the hybrid behaviour of a controlled induction drive

    Hohmann, S. / Zanne, C. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    2D-Approach to stability of hybrid systems

    Franke, D. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    On batch recipe structuring and analysis using Grafchart

    Johnsson, C. / Arzen, K.-E. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Descriptor systems for knowledge modelling and simulation of hybrid physical systems

    Buisson, J. / Cormerais, H. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    From hybrid Petri nets to hybrid automata

    Allam, M. / Alla, H. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Behaviors in hybrid state systems

    Dogruel, M. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Modelling hybrid systems by high-level Petri nets

    Giua, A. / Usai, E. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Modelling hybrid control systems using programmable timed Petri nets

    He, K. X. / Lemmon, M. D. | British Library Conference Proceedings | 1998
    Beteiligte: Zaytoon, J.

    Using a Real-Time Framework to Verify the Properties of Grafcet

    Zaytoon, J. / De Loor, P. / Villermain-Lecolier, G. et al. | British Library Conference Proceedings | 1995