Publications
Export 6 results:
Author Keyword Type [ Year![(Desc)](https://hybrid.soe.ucsc.edu/sites/default/modules/biblio/misc/arrow-desc.png)
Filters: Author is R. G. Sanfelice and First Letter Of Keyword is C [Clear All Filters]
[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)
![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
[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)
![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
[271] "Sampling-Based Computation of Viability Domain to Prevent Safety Violations by Attackers",
Proceedings of the 6th IEEE Conference on Control Technology and Applications, pp. 720-725, August, 2022.
271.pdf (3.05 MB)
![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
[271] "Sampling-Based Computation of Viability Domain to Prevent Safety Violations by Attackers",
Proceedings of the 6th IEEE Conference on Control Technology and Applications, pp. 720-725, August, 2022.
271.pdf (3.05 MB)
![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
[271] "Sampling-Based Computation of Viability Domain to Prevent Safety Violations by Attackers",
Proceedings of the 6th IEEE Conference on Control Technology and Applications, pp. 720-725, August, 2022.
271.pdf (3.05 MB)
![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
[266] "Reference Governor for Hybrid Dynamical Systems",
Proceedings of the American Control Conference, pp. 4921-4926, June, 2022.
266.pdf (688.66 KB)
![application/pdf PDF icon](/modules/file/icons/application-pdf.png)