Clark School Home UMD

ISR News Story

Austin, Petnga win Best Conference Paper Award at CSER-13

Associate Professor Mark Austin (CEE/ISR) and his Ph.D. student Leonard Petnga (CEE-Civil Systems) won the Best Paper Award at the 13th Conference on Systems Engineering Research (CSER-13) March 19-22, 2013, in Atlanta. The winning paper is “Ontologies of Time and Time-Based Reasoning for Model-Based Systems Engineering of Cyber-Physical Systems.”

Petnga is a University of Maryland Cyber-Physical Systems Scholar at the National Institute of Standards and Technology (NIST). He will be giving a Tea Seminar on this award-winning paper at NIST in the near future. He also is a graduate of the University of Maryland's Professional Masters in Systems Engineering program.

The work is concerned with the development of Model-Based Systems Engineering (MBSE) procedures for the behavior modeling and design of Cyber-Physical Systems. This class of problems is defined by a tight integration of software and physical processes, the need to satisfy stringent constraints on performance, safety and a reliance on automation for the management of system functionality. To assure correctness of functionality with respect to requirements, there is a strong need for methods of analysis that can describe system behavior in terms of time, intervals of time, and relationships among intervals of time.

The paper discusses temporal semantics and their central role in the development of a new time-based reasoning framework in MBSE for CPS. Three independent but integrated modules compose the system: CPS, ontology and time-reasoning modules. This approach is shown to be mostly appropriate for CPS for which safety and performance are dependent on the correct time- based prediction of the future state of the system. A Python-based prototype implementation has been created to demonstrate the capabilities of the ontological framework and reasoning engine in simple CPS applications.

Related Articles:
Baras is PI for $1M NIST cooperative agreement
Rance Cleaveland part of 'CyberHeart' cyber-physical systems grant
Austin, Delgoshaei, Nguyen win MITRE Award at CSER
Ulukus, colleagues win Best Tutorial Paper Award
Ye, Barg win IEEE Data Storage Best Paper Award
Shoukry, Krishnaprasad receive NSF grant for resilient-by-cognition cyber-physical systems
Best paper award for Bergbreiter, St. Pierre, Gosrich at Hilton Head workshop
ENES 489P holds undergraduate systems design competition
Aneesh Raghavan wins Ann G. Wylie Dissertation Fellowship
Coelho, Austin and Blackburn win best paper award at ICONS 2017

March 25, 2013


Prev   Next

 

 

Current Headlines

Ring Resonators Corner Light

Alireza Khaligh promoted to full professor

Alumna Aisha Al-Obaid to join Kuwait University faculty

Clark School Team to Compete in NASA's RASC-AL Competition

Alum Ahmed Arafa to join UNC Charlotte faculty this fall

Ayan Mallik to join Arizona State University faculty

Sennur Ulukus is plenary speaker at Canadian Workshop on Information Theory

Jiang, Marakby, Vaswani, and Wu named 2019 ECE Distinguished Alumni

Mallik and Ferlic Win Dean's Doctoral and Master's Student Research Awards

UMD Energy Start-Up receives $8M investment

News Resources

Return to Newsroom

Search News

Archived News

Events Resources

Events Calendar