Autor der Publikation

The verification of a novel framework for real-time shared medium communication network protocols.

, , und . SIU, Seite 1-4. IEEE, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The verification of a novel framework for real-time shared medium communication network protocols., , und . SIU, Seite 1-4. IEEE, (2012)Computation of Supervisors for Fault-Recovery and Repair for Discrete Event Systems., und . WODES, Seite 428-433. International Federation of Automatic Control, (2014)Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems., und . IEEE Trans. Automat. Contr., 57 (12): 3224-3229 (2012)A lane detection algorithm based on reliable lane markings., und . SIU, Seite 1-4. IEEE, (2018)Distributed Real-Time Protocols for Industrial Control Systems: Framework and Examples., und . IEEE Trans. Parallel Distrib. Syst., 23 (10): 1856-1866 (2012)Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs., und . CASE, Seite 825-830. IEEE, (2015)Computation of supervisors for reconfigurable machine tools.. Discrete Event Dynamic Systems, 25 (1-2): 125-158 (2015)State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems., und . IEEE Trans. Automat. Contr., 60 (6): 1630-1634 (2015)Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems.. IEEE Trans. Systems, Man, and Cybernetics: Systems, 43 (5): 1130-1140 (2013)Modeling Distributed Real-Time Systems in TIOA and UPPAAL., , und . ACM Trans. Embedded Comput. Syst., 16 (1): 22 (2016)