Matthew A. Clark

Affiliations:
  • Air Force Research Laboratory, Wright-Patterson AFB, OH, USA


According to our database1, Matthew A. Clark authored at least 11 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Framework for Mining Hybrid Automata from a Constrained Machine Learning Architecture.
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.
Proceedings of the 16th International Conference on Informatics in Control, 2019

2017
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.
J. Aerosp. Inf. Syst., 2017

Certifiable Trust in Autonomous Systems: Making the Intractable Tangible.
AI Mag., 2017

Transformation of a hierarchical mamdani fuzzy system to a single fuzzy system representation.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016
Controller Integrity Monitoring in Adaptive Learning Systems Towards Trusted Autonomy.
IEEE Trans Autom. Sci. Eng., 2016

2015
Controller verification in adaptive learning systems towards trusted autonomy.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Hybrid representation of rule-based systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Design and analysis of a multistage fuzzy PID controller.
Proceedings of the American Control Conference, 2015

2014
Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Study on the Barriers to the Industrial Adoption of Formal Methods.
Proceedings of the Formal Methods for Industrial Critical Systems, 2013


  Loading...