# Heber Herencia-Zapana

According to our database

Collaborative distances:

^{1}, Heber Herencia-Zapana authored at least 20 papers between 2004 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2021

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

Syst., 2021

2014

Complex., 2014

Proceedings of the IEEE International Systems Conference, 2014

2013

J. Simulation, 2013

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems.

CoRR, 2013

2012

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.

Proceedings of the NASA Formal Methods, 2012

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

Proceedings of the Infotech@Aerospace 2012, 2012

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

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

2011

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

Proceedings of the Winter Simulation Conference 2011, 2011

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Proceedings of the NASA Formal Methods, 2011

2009

Syst. Control. Lett., 2009

2008

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

PhD thesis, 2008

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

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.

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.

Proceedings of the American Control Conference, 2007

2006

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

2004

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

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.

Proceedings of the 2004 American Control Conference, 2004