Publications
[292] "Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems",
IEEE Control Systems Letters, vol. 7, pp. 2809-2814, June, 2023.
292.pdf (304.87 KB)
[273] "Certifying the LTL Formula p Until q in Hybrid Systems",
IEEE Transactions on Automatic Control, vol. 68, no. 7, pp. 4451-4458, September, 2022.
273.pdf (290.84 KB)
[218] "Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions",
Nonlinear Analysis: Hybrid Systems, vol. 36, May, 2020.
218.pdf (218.45 KB)
[215] "Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems",
Proceedings of the Conference on Hybrid Systems: Computation and Control, no. 8, pp. 1-10, April, 2020.
215.pdf (720.78 KB)
[186] "A Hybrid Control Algorithm for Object Grasping Using Multiple Agents",
Proceedings of the Conference on Control Technology and Applications, pp. 652-657, August, 2018.
186.pdf (470.08 KB)
[176] "Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems",
Proceedings of the 6th Analysis and Design of Hybrid Systems, vol. 51, pp. 97-102, July, 2018.
176.pdf (297.32 KB)