Heber Herencia-Zapana

According to our database, Heber Herencia-Zapana authored at least 20 papers between 2004 and 2021.

Collaborative distances:

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

2021

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, Michael Durling, Cesare Tinelli, Omar Chowdhury

Syst., 2021

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

Small satellite systems design methodology: A formal and agile design process.

William W. Edmonson, Jules Chenou, Natasha A. Neogi, Heber Herencia-Zapana

Proceedings of the IEEE International Systems Conference, 2014

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

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

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, Pablo Ascariz

Proceedings of the NASA Formal Methods, 2012

Modular Methods for Verification and Validation of Air Traffic Control Algorithms.

Natasha A. Neogi, Heber Herencia-Zapana

Proceedings of the Infotech@Aerospace 2012, 2012

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.

Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Model theoretic implications for agent languages in support of interoperability and composability.

Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Heber Herencia-Zapana

Proceedings of the Winter Simulation Conference 2011, 2011

Understanding interoperability.

Saikou Y. Diallo, Heber Herencia-Zapana, Jose J. Padilla, Andreas Tolk

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Formalizing Probabilistic Safety Claims.

Heber Herencia-Zapana, George Hagen, Anthony Narkawicz

Proceedings of the NASA Formal Methods, 2011

2009

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

2008

Modeling and Stability Analysis of Nonlinear Sampled-Data Systems with Embedded Recovery Algorithms.

Heber Herencia-Zapana

PhD thesis, 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

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Mean square stability analysis of sampled-data supervisory control systems.

Arturo Tejada, Heber Herencia-Zapana, Oscar R. González, W. Steven Gray

Proceedings of the IEEE International Conference on Control Applications, 2008

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

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

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

Proceedings of the American Control Conference, 2007

2006

Towards a Theory of Sampled-Data Piecewise-Deterministic Markov Processes.

Heber Herencia-Zapana, Oscar R. González, W. Steven Gray

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2004

Stochastic stability of nonlinear sampled data systems with a jump linear controller.

Oscar R. González, Heber Herencia-Zapana, W. Steven Gray

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

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

Proceedings of the 2004 American Control Conference, 2004