Matthew A. Clark

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 6

Top Topics

Quantifier Elimination

Piecewise Affine

Adaptive Learning Systems

Top Venues

Publications

Matthew A. Clark, Kuldip S. Rattan
Framework for Mining Hybrid Automata from a Constrained Machine Learning Architecture. FUZZ-IEEE (2020)
Hao Ren, Ratnesh Kumar, Matthew A. Clark
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning. ICINCO (1) (2019)
Joseph B. Lyons, Matthew A. Clark, Alan R. Wagner, Matthew J. Schuelke
Certifiable Trust in Autonomous Systems: Making the Intractable Tangible. AI Mag. 38 (3) (2017)
Timothy Arnett, Kelly Cohen, Matthew A. Clark, David W. Casbeer, Kuldip S. Rattan
Transformation of a hierarchical mamdani fuzzy system to a single fuzzy system representation. FUZZ-IEEE (2017)
Kerianne H. Gross, Matthew A. Clark, Jonathan A. Hoffman, Eric D. Swenson, Aaron W. Fifarek
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control. J. Aerosp. Inf. Syst. 14 (4) (2017)
Xiaodong Zhang, Matthew A. Clark, Kuldip S. Rattan, Jonathan Muse, Mohsen Khalili
Controller Integrity Monitoring in Adaptive Learning Systems Towards Trusted Autonomy. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Xiaodong Zhang, Matthew A. Clark, Kuldip S. Rattan, Jonathan Muse
Controller verification in adaptive learning systems towards trusted autonomy. ICCPS (2015)
Matthew A. Clark, Kuldip S. Rattan
Hybrid representation of rule-based systems. HSCC (2015)
Kuldip S. Rattan, Matthew A. Clark, Jonathan A. Hoffman
Design and analysis of a multistage fuzzy PID controller. ACC (2015)
Matthew A. Clark, Kuldip S. Rattan
Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller. AAAI Spring Symposia (2014)
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
Study on the Barriers to the Industrial Adoption of Formal Methods. FMICS (2013)