Michael K. Yau

According to our database, Michael K. Yau authored at least 4 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance.

Mohammad Hejase, Arda Kurt, Tunc Aldemir, Ümit Özgüner, Sergio B. Guarro, Michael K. Yau, Matthew Knudson

J. Aerosp. Inf. Syst., February, 2018

2016

Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems.

Sergio B. Guarro, Ümit Özgüner, Tunc Aldemir, Matt Knudson, Arda Kurt, Michael K. Yau, Mohammad Hejase, Steve Kwon

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2010

Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies.

Tunc Aldemir, Sergio B. Guarro, Diego Mandelli, Jason Kirschenbaum, L. Anthony Mangan, Paolo Bucci, Michael K. Yau, Eylem Ekici, D. W. Miller, Xiaodong Sun, S. A. Arndt

Reliab. Eng. Syst. Saf., 2010

2009

On the nature and practical handling of the Bayesian aggregation anomaly.

Sergio B. Guarro, Michael K. Yau

Reliab. Eng. Syst. Saf., 2009