Author of the publication

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

, , , , , and . CoRR, (2020)

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

A Dual Splitting Approach for Distributed Resource Allocation With Regularization., , , and . IEEE Trans. Control. Netw. Syst., 6 (1): 403-414 (2019)Passivity analysis for uncertain signal processing systems., , and . ICASSP, page 1601-1604. IEEE, (1998)Stabilization of Markov jump linear systems using quantized state feedback., , and . Autom., 46 (10): 1696-1702 (2010)An Efficient Data Association Approach to Simultaneous Localization and Map Building., , and . Int. J. Robotics Res., 24 (1): 49-60 (2005)WiFi Fingerprinting Indoor Localization Using Local Feature-Based Deep LSTM., , , , and . IEEE Syst. J., 14 (2): 3001-3010 (2020)A Novel Ensemble ELM for Human Activity Recognition Using Smartphone Sensors., , and . IEEE Trans. Ind. Informatics, 15 (5): 2691-2699 (2019)Tightly-coupled ultra-wideband-aided monocular visual SLAM with degenerate anchor configurations., , and . Auton. Robots, 44 (8): 1519-1534 (2020)On Stochastic Sensor Network Scheduling for Multiple Processes., , , and . CoRR, (2016)A model-based control of CO2 concentration in multi-zone ACB air-conditioning systems., , , and . ICCA, page 467-472. IEEE, (2016)Robust extreme learning machine for regression problems with its application to wifi based indoor positioning system., , , , and . MLSP, page 1-6. IEEE, (2014)