Leonard Petnga

According to our database, Leonard Petnga authored at least 8 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2019

Capability-driven Formulation of System of Systems Core Competencies.

Leonard Petnga, Thomas Gasque

Proceedings of the 14th Annual Conference System of Systems Engineering, 2019

Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems.

Benjamin Lanier, Leonard Petnga

Proceedings of the 14th Annual Conference System of Systems Engineering, 2019

2016

Semantic-driven modeling and reasoning for enhanced safety of cyber-physical systems.

Leonard Petnga

PhD thesis, 2016

Model-Based Design and Formal Verification Processes for Automated Waterway System Operations.

Leonard Petnga, Mark Austin

Syst., 2016

An ontological framework for knowledge modeling and decision support in cyber-physical systems.

Leonard Petnga, Mark Austin

Adv. Eng. Informatics, 2016

2014

Model-Based Systems Engineering for design and automated operation of modern waterway systems.

Leonard Petnga, Mark Austin

Proceedings of the IEEE International Systems Conference, 2014

2013

Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems.

Leonard Petnga, Mark Austin

Proceedings of the Conference on Systems Engineering Research, 2013

Cyber-physical architecture for modeling and enhanced operations of connected-vehicle systems.

Leonard Petnga, Mark Austin

Proceedings of the International Conference on Connected Vehicles and Expo, 2013