Author of the publication

Program construction by verifying specification.

, and . J. Comput. Sci. Technol., 13 (6): 597-607 (1998)

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

Sampled-Data Control for Fuzzy Markovian Jump Systems With Actuator Saturation., , , , and . IEEE Access, (2019)Intraspectrum Discrimination and Interspectrum Correlation Analysis Deep Network for Multispectral Face Recognition., , , , , , , , and . IEEE Trans. Cybern., 50 (3): 1009-1022 (2020)Controller Synthesis of Aperiodic Sampled-Data Networked Control System With Application to Interleaved Flyback Module Integrated Converter., , , , and . IEEE Trans. Circuits Syst. I Regul. Pap., 70 (11): 4570-4580 (November 2023)GPS: a comprehensive www server for phosphorylation sites prediction., , , , , and . Nucleic Acids Res., 33 (Web-Server-Issue): 184-187 (2005)Asynchronous Sampled-Data Controller Design for Switched Markov Jump Systems and Its Applications., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 53 (2): 934-946 (2023)Solutions of a Quadratic Inverse Eigenvalue Problem for Damped Gyroscopic Second-Order Systems., , and . J. Appl. Math., (2014)Input-to-State Stability of Switched Nonlinear Time-Delay Systems With Asynchronous Switching: Event-Triggered Switching Control., , , and . IEEE Control. Syst. Lett., (2023)Static output feedback quantized dissipative security control of singular hybrid systems subject to multiple cyber attacks: A dynamic-memory event-triggered strategy., , , and . Commun. Nonlinear Sci. Numer. Simul., (January 2024)Reachable set estimation and stochastic sampled-data exponential synchronization of Markovian jump neural networks with time-varying delays., , , , and . Neural Networks, (August 2023)Sampled-Data Synchronization of Stochastic Markovian Jump Neural Networks With Time-Varying Delay., , , , and . IEEE Trans. Neural Networks Learn. Syst., 33 (8): 3829-3841 (2022)