Formal verification of control system software 由 Garoche, Pierre-Loïc

获取全文
获取全文

The automated lighting programmer's handbook 由 Schiller, Brad

Hardware/software co-design and optimization for cyberphysical integration in digital microfluidic biochips 由 Luo, Yan, Chakrabarty, Krishnendu, Ho, Tsung-Yi

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Digital control system analysis & design 由 Phillips, Charles L., Nagle, H. Troy 1942-, Chakrabortty, Aranya

Digital control of high-frequency switched-mode power converters 由 Corradini, Luca, Maksimovic, Dragan 1961-, Mattavelli, Paolo, Zane, Regan

Digital control system analysis & design 由 Phillips, Charles L., Nagle, H. Troy 1942-, Chakrabortty, Aranya

Available for University of the Philippines Diliman College of Engineering via e-Textbook Reserves under Vital Source. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering. Click here to access thru Remote Access via EZProxy

HSCC'14 proceedings of the 17th International Conference on Hybrid Systems : Computation and Control (part of CPS Week) : April 15-17, 2014, Berlin, Germany

Digital control engineering analysis and design 由 Fadali, M. Sami, Visioli, Antonio

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

Control theory a guided tour 由 Leigh, J. R.

Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy

Internet-based control systems design and applications 由 Yang, Shuang-Hua

Available for University of the Philippines Diliman via SpringerLink. Click here to access