On the stability of jump-linear systems driven by finite-state machines with Markovian inputs. - Sudarshan Patil Kulkarni; Heber Herencia-Zapana; W. Steven Gray; Oscar R. González (ACC, 2004)

Stochastic stability of nonlinear sampled data systems with a jump linear controller. - Oscar R. González; Heber Herencia-Zapana; W. Steven Gray (CDC, 2004)

Towards a Theory of Sampled-Data Piecewise-Deterministic Markov Processes. - Heber Herencia-Zapana; Oscar R. González; W. Steven Gray (CDC, 2006)

Mean Square Stability Analysis of Hybrid Jump Linear Systems using a Markov Kernel Approach. - Arturo Tejada; Heber Herencia-Zapana; Oscar R. González; W. Steven Gray (ACC, 2007)

Dynamically colored petri net representation of nonlinear sampled-data systems with embedded recovery algorithms. - Heber Herencia-Zapana; Oscar R. González; W. Steven Gray (CDC, 2007)

Mean square stability analysis of sampled-data supervisory control systems. - Arturo Tejada; Heber Herencia-Zapana; Oscar R. González; W. Steven Gray (CCA, 2008)

On cascades of bilinear systems and generating series of weighted Petri nets. - W. Steven Gray; Heber Herencia-Zapana; Luis Augusto Duffaut Espinosa; Oscar R. González (CDC, 2008)

Modeling and Stability Analysis of Nonlinear Sampled-Data Systems with Embedded Recovery Algorithms. - Heber Herencia-Zapana (2008)

Bilinear system interconnections and generating series of weighted Petri nets. - W. Steven Gray; Heber Herencia-Zapana; Luis Augusto Duffaut Espinosa; Oscar R. González (Syst. Control. Lett., 2009)

Formalizing Probabilistic Safety Claims. - Heber Herencia-Zapana; George Hagen; Anthony Narkawicz (NASA Formal Methods, 2011)

Understanding interoperability. - Saikou Y. Diallo; Heber Herencia-Zapana; Jose J. Padilla; Andreas Tolk (SpringSim (EAIA), 2011)

Model theoretic implications for agent languages in support of interoperability and composability. - Andreas Tolk; Saikou Y. Diallo; Jose J. Padilla; Heber Herencia-Zapana (WSC, 2011)

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. - Romain Jobredeaux; Heber Herencia-Zapana; Natasha A. Neogi; Eric Feron (CDC, 2012)

Modular Methods for Verification and Validation of Air Traffic Control Algorithms. - Natasha A. Neogi; Heber Herencia-Zapana (Infotech@Aerospace, 2012)

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. - Heber Herencia-Zapana; Romain Jobredeaux; Sam Owre; Pierre-Loïc Garoche; Eric Feron; Gilberto Pérez 001; Pablo Ascariz (NASA Formal Methods, 2012)

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. - Timothy Wang; Romain Jobredeaux; Heber Herencia-Zapana; Pierre-Loïc Garoche; Arnaud Dieumegard; Eric Feron; Marc Pantel (CoRR, 2013)

Reference modelling in support of M&S - foundations and applications. - Andreas Tolk; Saikou Y. Diallo; Jose J. Padilla; Heber Herencia-Zapana (J. Simulation, 2013)

Small satellite systems design methodology: A formal and agile design process. - William W. Edmonson; Jules Chenou; Natasha A. Neogi; Heber Herencia-Zapana (SysCon, 2014)

Toward a formalism of modeling and simulation using model theory. - Saikou Y. Diallo; Jose J. Padilla; Ross Gore; Heber Herencia-Zapana; Andreas Tolk (Complex., 2014)

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. - Baoluo Meng; Daniel Larraz; Kit Siu; Abha Moitra; John Interrante; William Smith; Saswata Paul; Daniel Prince; Heber Herencia-Zapana; M. Fareed Arif; Moosa Yahyazadeh; Vidhya Tekken Valapil; et al. (Syst., 2021)