Author of the publication

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems.

, , , , , and . IEEE Trans. Autom. Control., 67 (10): 5071-5086 (2022)

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

Solution to gang crime based on Graph Theory and Analytical Hierarchy Process., , , and . Neurocomputing, (2014)Spectrum sensing based on the singular value of Gaussian random matrix and performance analysis., , , and . IWCMC, page 499-503. IEEE, (2016)A Novel Joint Angle and Frequency Estimation Method Based on the Extended OMP Algorithm., , , , and . GLOBECOM Workshops, page 1-5. IEEE, (2019)Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees., , , and . IEEE Trans. Control. Syst. Technol., 30 (4): 1460-1472 (2022)Collision-Free Waterway Segmentation for Inland Unmanned Surface Vehicles., , , , , , , and . IEEE Trans. Instrum. Meas., (2022)Secure ABE Scheme for Access Management in Blockchain-Based IoT., , , , and . IEEE Access, (2021)Safe Autonomy under Uncertainty: Computation, Control, and Application.. KTH Royal Institute of Technology, Sweden, (2020)A Low Complexity Mixed-Field Sources Parameter Estimation Framework at Sub-Nyquist Sampling Rates., , , and . IWCMC, page 1046-1051. IEEE, (2023)Probabilistic Characterization of Target Set and Region of Attraction for Discrete-time Control Systems., , and . ICCA, page 594-599. IEEE, (2020)Classification-Based One-Bit DOA Estimation for Sparse Arrays., , and . IEEE Access, (2020)