Author of the publication

A Formalization of Properties of Continuous Functions on Closed Intervals.

, and . ICMS, volume 12097 of Lecture Notes in Computer Science, page 272-280. Springer, (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

Adaptive fuzzy sliding mode controller design for folding-boom aerial platform vehicle., , , , and . ROBIO, page 1656-1661. IEEE, (2010)Some Open Problems on Simultaneous Stabilization of Linear Systems., , and . J. Systems Science & Complexity, 29 (2): 289-299 (2016)A Formal System of Axiomatic Set Theory in Coq., and . IEEE Access, (2020)Easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems., , , and . Syst. Control. Lett., 57 (2): 165-174 (2008)Output feedback control of networked systems., , , and . Int. J. Autom. Comput., 1 (1): 26-34 (2004)A Formalization of Properties of Continuous Functions on Closed Intervals., and . ICMS, volume 12097 of Lecture Notes in Computer Science, page 272-280. Springer, (2020)A Note on Minimal Positive Realizations of Continuous-Time Linear Systems., , and . ICNSC, page 123-128. IEEE, (2007)Constrained Control of Positive Discrete-Time Systems With Delays., , , and . IEEE Trans. Circuits Syst. II Express Briefs, 55-II (2): 193-197 (2008)Formalization of the Axiom of Choice and its Equivalent Theorems., and . CoRR, (2019)Unified selective harmonic elimination for fundamental frequency modulated multilevel converter with unequal DC levels., , , and . IECON, page 3623-3628. IEEE, (2016)