Author of the publication

Approximate Bisimulation and Discretization of Hybrid CSP.

, , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 702-720. (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

Prescribed-Time Tracking Control for Wind Turbines in Variable Speed Mode With Guaranteed Performance., , , and . IEEE Trans. Ind. Electron., 71 (10): 13074-13082 (October 2024)Single-cell multi-omics sequencing: application trends, COVID-19, data analysis issues and prospects., , , , , and . Briefings Bioinform., (2021)Fixed-Time Fuzzy Adaptive Tracking Control for High-Order Systems with Unknown Nonlinearities and Control Directions., , , , and . Int. J. Fuzzy Syst., 25 (4): 1546-1558 (June 2023)EEG_GLT-Net: Optimising EEG Graphs for Real-time Motor Imagery Signals Classification., , , and . CoRR, (2024)Adaptive Event-Triggered Prescribed-Time Stabilization of Uncertain Nonlinear Systems With Asymmetric Time-Varying Output Constraint., , , and . IEEE Trans. Autom. Control., 69 (8): 5454-5461 (August 2024)Design and Implementation of System of Recognition of Students' Learning Behavior in Classroom Teaching Videos., , , , and . ICEEL, page 36-42. ACM, (2022)Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction., , and . Comput. J., 48 (6): 692-701 (2005)Property-preserving composition of augmented marked graphs that share common resources., , and . ICRA, page 1446-1451. IEEE, (2003)A Particle Swarm Optimization With Lévy Flight for Service Caching and Task Offloading in Edge-Cloud Computing., , , , , and . IEEE Access, (2022)A Smart Exhibition Platform of Power Measurement Vehicle based on the GIS and GPS Techniques., , , and . Int. J. Online Eng., 10 (1): 41-45 (2014)