LIBROS DEL AUTOR: robert valette

3 resultados para LIBROS DEL AUTOR: robert valette

  • Modelling and Analysis of Hybrid Supervisory Systems
    Emilia Villani / Paulo Eigi Miyagi / Robert Valette
    Modelling of Hybrid Systems.- Development of the Supervisory System.- Hybrid System Analysis.- Application 1: HVAC System.- Application 2: Landing System.- Application 3: Cane Sugar Factory.- Conclusion and Research Topics. ...
    Disponible

    220,20 €

  • Modelling and Analysis of Hybrid Supervisory Systems
    Emilia Villani / Paulo Eigi Miyagi / Robert Valette
    This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properti...
    Disponible

    132,78 €

  • Application and Theory of Petri Nets 1994
    Robert Valette
    This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.The 28 full papers were selected out of in total 85 submis...
    Disponible

    64,80 €