Matthew A. Clark

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

Collaborative distances:

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

2020

Framework for Mining Hybrid Automata from a Constrained Machine Learning Architecture.

Matthew A. Clark, Kuldip S. Rattan

Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019

"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.

Hao Ren, Ratnesh Kumar, Matthew A. Clark

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.

Kerianne H. Gross, Matthew A. Clark, Jonathan A. Hoffman, Eric D. Swenson, Aaron W. Fifarek

J. Aerosp. Inf. Syst., 2017

Certifiable Trust in Autonomous Systems: Making the Intractable Tangible.

Joseph B. Lyons, Matthew A. Clark, Alan R. Wagner, Matthew J. Schuelke

AI Mag., 2017

Transformation of a hierarchical mamdani fuzzy system to a single fuzzy system representation.

Timothy Arnett, Kelly Cohen, Matthew A. Clark, David W. Casbeer, Kuldip S. Rattan

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

Controller Integrity Monitoring in Adaptive Learning Systems Towards Trusted Autonomy.

Xiaodong Zhang, Matthew A. Clark, Kuldip S. Rattan, Jonathan Muse, Mohsen Khalili

IEEE Trans Autom. Sci. Eng., 2016

2015

Controller verification in adaptive learning systems towards trusted autonomy.

Xiaodong Zhang, Matthew A. Clark, Kuldip S. Rattan, Jonathan Muse

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Hybrid representation of rule-based systems.

Matthew A. Clark, Kuldip S. Rattan

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Design and analysis of a multistage fuzzy PID controller.

Kuldip S. Rattan, Matthew A. Clark, Jonathan A. Hoffman

Proceedings of the American Control Conference, 2015

2014

Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller.

Matthew A. Clark, Kuldip S. Rattan

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Study on the Barriers to the Industrial Adoption of Formal Methods.

Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner

Proceedings of the Formal Methods for Industrial Critical Systems, 2013