Timothy Wang

Verifiable Control System Development for Gas Turbine Engines pdf

Timothy Wang, Eric Feron, Mehrdad Pakmehr, 2013, ArXiv.

A graphical environment to express the semantics of control systems pdf

Timothy Wang, Eric Feron, Romain Jobredeaux, 2011, ArXiv.

Credible autocoding and verification of a gas turbine engine FADEC

Timothy Wang, Romain Jobredeaux, Martin Vivies, 2014, DAS 2014.

Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller pdf

Timothy Wang, Eric Feron, 2013, ArXiv.

Credible autocoding of fault detection observers

Timothy Wang, Eric Feron, Romain Jobredeaux, 2014, 2014 American Control Conference.

Credible autocoding of convex optimization algorithms

Timothy Wang, Eric Feron, Marc Pantel, 2014, Optimization and Engineering.

Using neural networks to predict student's performance

Timothy Wang, Antonija Mitrovic, 2002, International Conference on Computers in Education, 2002. Proceedings..

Bringing Guarantees of Control Law Performance from Specications to Code

Timothy Wang, Eric Feron, Fernando Alegre, 2009 .

Credible autocoding of control software

Timothy Wang, Timothy E. Wang, 2015 .