نتائج البحث

Supporting decision-making in diagnosis of discrete-event systems by model-based temporal techniques

• Authors : Gian Franco Lamperti; Stefano Trerotola; Marina Zanella ...

Subjects: decision support systems; model-based diagnosis; temporal reasoning

تفاصيل العنوان

Control of discrete-event systems - Automata and Petri Net perspectives

• Authors : Schuppen, J.H. (Jan) van; Silva, M. (Manuel); Seatzu, C.

Subjects: discrete-event systems; automata; Petri nets

تفاصيل العنوان

Model and Simulation Engines for Distributed Simulation of Discrete Event Systems

• Authors : Bañares, José Ángel; Colom, José Manuel

Subjects: Distributed Simulation; Discrete event system; Resource Management

• Source: LNCS, 11113, 77-91, (2018-02-08) ; GECON18, 15th International Conference on the Economics of Grids, CLouds, Systems, and Services, Pisa, Italy, 18-20 September

تفاصيل العنوان

Supervisory control of distributed discrete-event systems

• Authors : Seatzu, C.; Silva, M. (Manuel); Schuppen, J.H. (Jan) van

Subjects: automata; distributed des; supervisory control

تفاصيل العنوان

Coordination control of distributed discrete-event systems

• Authors : Seatzu, C.; Silva, M. (Manuel); Schuppen, J.H. (Jan) van

Subjects: automata; distributed des; supervisory control

تفاصيل العنوان

Generation of Mathematical Programming Representation for Discrete Event Simulation Models of Timed Petri Nets

• Authors : Mengyi Zhang; Arianna Alfieri; Andrea Matta ...

Subjects: Discrete event simulation; Mathematical programming; Timed Petri Net

تفاصيل العنوان

Effective control of logical discrete event systems in a trace theory setting using the reflection operator

• Authors : Smedinga, Rein; Cohen, Guy; Quadrat, Jean-Pierre

Subjects: bookPart

• Source: Smedinga , R 1994 , Effective control of logical discrete event systems in a trace theory setting using the

تفاصيل العنوان

Effective control of logical discrete event systems in a trace theory setting using the reflection operator

• Authors : Cohen, Guy; Quadrat, Jean-Pierre; Smedinga, Rein

Subjects: bookPart

• Source: Smedinga , R 1994 , Effective control of logical discrete event systems in a trace theory setting using the

تفاصيل العنوان

Control of modular and distributed discrete-event systems

• Authors : Boer, F.S. (Frank) de; Bonsangue, M.M. (Marcello); et al, not CWI

Subjects: info:eu-repo/semantics/conferenceObject

تفاصيل العنوان

Control of discrete-event systems with partial observations using coalgebra and coinduction

• Authors : Komenda, J.; Schuppen, J.H. (Jan) van

Subjects: info:eu-repo/semantics/article

• Source: Discrete Event Dynamic Systems: Theory and Applications vol. 15, pp. 257-315

تفاصيل العنوان