Author of the publication

Modeling Distributed Real-Time Systems in TIOA and UPPAAL.

, , and . ACM Trans. Embed. Comput. Syst., 16 (1): 22:1-22:26 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Voronoi Boundary Visibility for Efficient Path Planning., and . IEEE Access, (2020)Outputs bounds for linear systems with repeated input signals: existence, computation and application to vehicle platooning., and . Turkish J. Electr. Eng. Comput. Sci., 26 (1): 283-293 (2018)String Stability Under Actuator Saturation on Straight Level Roads: Sufficient Conditions and Optimal Trajectory Generation., and . IEEE Trans. Intell. Transp. Syst., 23 (12): 24588-24598 (2022)Distributed Real-Time Protocols for Industrial Control Systems: Framework and Examples., and . IEEE Trans. Parallel Distributed Syst., 23 (10): 1856-1866 (2012)Highly Accurate Clock Synchronization With Drift Correction for the Controller Area Network., , and . IEEE Trans. Parallel Distributed Syst., 33 (10): 4071-4082 (2022)Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs., and . CASE, page 825-830. IEEE, (2015)Clock Synchronization for the Controller Area Network using Bit Timing Information., , , and . SIU, page 1-4. IEEE, (2022)A Configurable CAN FD controller: Architecture and implementation., , and . SIU, page 1-4. IEEE, (2017)Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems., and . IEEE Trans. Automat. Contr., 56 (4): 723-737 (2011)A framework for state attraction of discrete event systems under partial observation., and . Inf. Sci., (2014)