Matthew A. Clark

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