Author of the publication

Stochastic contracts for cyber-physical system design under probabilistic requirements.

, , , , and . MEMOCODE, page 5-14. ACM, (2017)

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

Using natural language processing to extract clinically useful information from Chinese electronic medical records., , , , and . Int. J. Medical Informatics, (2019)A Game-Based Adaptive Traffic Signal Control Policy Using the Vehicle to Infrastructure (V2I)., , and . IEEE Trans. Veh. Technol., 68 (10): 9425-9437 (2019)Image classification with multi-view multi-instance metric learning., , and . Expert Syst. Appl., (2022)The robust model predictive control based on mixed H2/H∞ approach with separated performance formulations and its ISpS analysis., , , and . Int. J. Control, 90 (12): 2721-2733 (2017)A Cooperation-Aware Lane Change Method for Automated Vehicles., , , , , and . IEEE Trans. Intell. Transp. Syst., 24 (3): 3236-3251 (March 2023)Quantum Hamiltonian Identification With Classical Colored Measurement Noise., , , and . IEEE Trans. Control. Syst. Technol., 29 (3): 1356-1363 (2021)Input-mapping based data-driven model predictive control for unknown linear systems with bounded disturbances., , , and . Autom., (2023)Constrained predictive control synthesis for quantized systems with Markovian data loss., , , and . Autom., (2015)Data-Driven Optimal Synchronization Control for Leader-Follower Multiagent Systems., , and . IEEE Trans. Syst. Man Cybern. Syst., 53 (1): 495-503 (2023)Data-driven approximation for feasible regions in nonlinear model predictive control., , , and . CoRR, (2020)