Publications
Export 18 results:
Author [ Keyword] Type Year Filters: First Letter Of Last Name is H [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)
[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)
[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)
[110] "Robust Global Stabilization of the DC-DC Boost Converter via Hybrid Control",
IEEE Transactions on Circuits and Systems I, vol. 62, pp. 1052-1061, April, 2015.
110.pdf (2.94 MB)
[67] "An Embedding Approach for the Design of State-Feedback Tracking Controllers for References with Jumps",
International Journal of Robust and Nonlinear Control, vol. 24, no. 11, pp. 1585–1608, 2013.
67.pdf (794.42 KB)
[264] "Global Asymptotic Stability of Nonlinear Systems While Exploiting Properties of Uncertified Feedback Controllers Via Opportunistic Switching",
Proceedings of the American Control Conference, pp. 2663-2668, June, 2022.
264.pdf (441.74 KB)
[6] "A feedback control motivation for generalized solutions to hybrid systems",
Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 3927: Springer Berlin / Heidelberg, pp. 522–536, 2006.
6.pdf (190.08 KB)
[82] "Hybrid Control of the Boost Converter: Robust Global Stabilization",
Proceedings of the IEEE Conference on Decision and Control, pp. 3635–3640, 2013.
82.pdf (671.28 KB)
[32] "Analysis of hybrid systems resulting from hysteresis and saturation: a Lyapunov approach",
Proc. 47th IEEE Conference on Decision and Control, pp. 2764–2769, 2008.
32.pdf (177.15 KB)
[110] "Robust Global Stabilization of the DC-DC Boost Converter via Hybrid Control",
IEEE Transactions on Circuits and Systems I, vol. 62, pp. 1052-1061, April, 2015.
110.pdf (2.94 MB)
[51] "Tracking Control for Hybrid Systems via Embedding of Known Reference Trajectories",
Proc. 30th American Control Conference, pp. 869–874, 2011.
51.pdf (193.81 KB)
[3] "Hybrid systems: generalized solutions and robust stability",
Proc. 6th IFAC Symposium in Nonlinear Control Systems, pp. 1–12, 2004.
3.pdf (292.35 KB)
[64] "Tracking control of mechanical systems with a unilateral position constraint inducing dissipative impacts",
Proceedings of the IEEE Conference on Decision and Control, pp. 4223–4228, 2012.
64.pdf (191.14 KB)
[6] "A feedback control motivation for generalized solutions to hybrid systems",
Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 3927: Springer Berlin / Heidelberg, pp. 522–536, 2006.
6.pdf (190.08 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)
[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)
[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)
[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)