Author of the publication

Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach.

, , and . IEEE Trans. Autom. Control., 69 (1): 214-229 (January 2024)

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

Global Real-Time Memory-Centric Scheduling for Multicore Systems., , , , and . IEEE Trans. Computers, 65 (9): 2739-2751 (2016)Trajectory Estimation for Geo-Fencing Applications on Small-Size Fixed-Wing UAVs., , , and . IROS, page 1971-1977. IEEE, (2019)Optimal real-time sampling rate assignment for wireless sensor networks., , , , and . ACM Trans. Sens. Networks, 2 (2): 263-295 (2006)The capacity of an implicit prioritized access protocol in wireless sensor networks., and . J. Embed. Comput., 1 (2): 195-207 (2005)Guest editorial: special issue on multicore systems., and . Real Time Syst., 52 (4): 397-398 (2016)Cache Where you Want! Reconciling Predictability and Coherent Caching., , , , , and . CoRR, (2019)Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems., and . IEEE Trans. Computers, 59 (3): 400-415 (2010)Finite-horizon scheduling of radar dwells with online template construction., , , , and . Real Time Syst., 33 (1-3): 47-75 (2006)Real-Time Computing on Multicore Processors., , , , , , , , , and 1 other author(s). Computer, 49 (9): 69-77 (2016)Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning., , , and . CoRR, (2023)