Author of the publication

Dynamically colored petri net representation of nonlinear sampled-data systems with embedded recovery algorithms.

, , and . CDC, page 97-102. IEEE, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a Theory of Sampled-Data Piecewise-Deterministic Markov Processes., , and . CDC, page 944-949. IEEE, (2006)Modular Methods for Verification and Validation of Air Traffic Control Algorithms., and . Infotech@Aerospace, (2012)On cascades of bilinear systems and generating series of weighted Petri nets., , , and . CDC, page 4115-4120. IEEE, (2008)Modeling and Stability Analysis of Nonlinear Sampled-Data Systems with Embedded Recovery Algorithms.. Old Dominion University, Norfolk, Virginia, USA, (2008)base-search.net (ftolddominionuni:oai:digitalcommons.odu.edu:ece_etds-1078).Small satellite systems design methodology: A formal and agile design process., , , and . SysCon, page 518-524. IEEE, (2014)Formalizing Probabilistic Safety Claims., , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 162-176. Springer, (2011)Bilinear system interconnections and generating series of weighted Petri nets., , , and . Syst. Control. Lett., 58 (12): 841-848 (2009)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , and 5 other author(s). Syst., 9 (1): 18 (2021)Mean square stability analysis of sampled-data supervisory control systems., , , and . CCA, page 37-42. IEEE, (2008)Mean Square Stability Analysis of Hybrid Jump Linear Systems using a Markov Kernel Approach., , , and . ACC, page 3482-3487. IEEE, (2007)