8 citations · 18 across the 7 of their papers we have counts for
7 papers
Survey of Human Models for Verification of Human-Machine Systems
Timothy E. Wang, Alessandro Pinto
We survey the landscape of human operator modeling ranging from the early cognitive models developed in artificial intelligence to more recent formal task models developed for mode…
Credible Autocoding of Convex Optimization Algorithms
Timothy Wang, Romain Jobredeaux, Marc Pantel +3
The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety cri…
Credible Autocoding of Fault Detection Observers
Timothy Wang, Alireza Esna Ashari, Romain Jobredeaux +1
In this paper, we present a domain specific process to assist the verification of observer-based fault detection software. Observer-based fault detection systems, like control syst…
Verifiable Control System Development for Gas Turbine Engines
Mehrdad Pakmehr, Timothy Wang, Romain Jobredeaux +2
A control software verification framework for gas turbine engines is developed. A stability proof is presented for gain scheduled closed-loop engine system based on global lineariz…
Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller
Timothy Wang, Eric Feron
This article describes the application of a credible autocoding framework for control systems towards a nonlinear car controller example. The framework generates code, along with g…
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
Timothy Wang, Romain Jobredeaux, Heber Herencia +4
This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties whi…
A graphical environment to express the semantics of control systems
Timothy Wang, Romain Jobredeaux, E. Feron
We present the concept of a unified graphical environment for expressing the semantics of control systems. The graphical control system design environment in Simulink already allow…