Clark School Home UMD

ISR News Story

Cleaveland, Marcus win NSF grant to develop models for cyber-physical systems

Professor Rance Cleaveland (CS/ISR) is the principal investigator and Professor Steve Marcus (ECE/ISR) is co-PI of a new National Science Foundation Cyber-Physical Systems Breakthrough grant, “Compositional Modeling of Cyber-Physical Systems.”

The three-year, $500K grant will develop new mathematical modeling techniques for cyber-physical systems. Cleaveland and Marcus will devise novel conceptual methods for assembling systems from subsystems, and for reasoning about the behavior of systems in terms of the behavior of their computational or physical subsystems. The research will enable scientists and engineers to develop more realistic models of the systems they are designing, and to obtain greater insights into the eventual behavior of these systems without having to build costly prototypes.

Specifically, the researchers will develop the novel modeling paradigm Generalized Synchronization Trees (GSTs) into a rich framework for both describing cyber-physical systems (CPSs) and studying their behavior under interconnection. GSTs are inspired by Milner's use of Synchronization Trees (STs) to model interconnected computing processes, but GSTs generalize the mathematical structure of their forebears in such a way as to encompass systems with discrete ("Cyber") as well as continuous ("Physical") dynamics.

As Milner did for STs, Cleaveland and Marcus will develop an algebraic theory of composition for GSTs. Such theories have a particular advantage over non-algebraic ones: because the composition of two (or more) objects results in an object of the same type, composition operators can be nested to build large structures out of smaller ones. Thus, the theory of GSTs is inherently compositional. The development of the theory involves five distinct but complementary endeavors. Standard models for cyber-physical systems are being encoded as GSTs in a semantically robust way; meaningful notions of composition and congruence for CPSs are being described and studied algebraically; the interplay between behavioral equivalence and the preservation of system properties is being investigated; a notion of real-time (or clock time) is under consideration for GSTs; and GSTs are being assessed as modeling tools for practical design scenarios.

Related Articles:
Alumnus Fumin Zhang promoted to full professor at Georgia Tech
Researchers write about Google's AlphaGo for OR/MS Today
Steven Gabriel participates in two international academic events
Maryland research contributes to Google’s AlphaGo AI system
Alumna Enlu Zhou earns tenure at Georgia Tech
New research will help cyber-physical systems understand human activities
Alum Sheryl Chocron-Spieler wins poster award at BMES/FDA Frontiers in Medical Devices Conference
Rance Cleaveland part of 'CyberHeart' cyber-physical systems grant
Alum Radha Poovendran named IEEE Fellow; department chair
Alumna Enlu Zhou wins NSF CAREER Award for optimization and sampling in stochastic simulation

August 29, 2014

Prev   Next



Current Headlines

Tsiropoulou to join University of New Mexico faculty

Qu Gives Keynote at WOCC 2017

Wood filter removes toxic dye from water

Prof. Alireza Khaligh to receive Outstanding Young Alumnus Award from Illinois Tech

Simon is co-editor of new Springer auditory research book

New Class Inducted into Order of the Engineer

Northrop Grumman renews as an ISR associate partner for third consecutive year

Students of Khaligh, Wu win China Scholarship Council awards

ECE Graduate Student Team, led by Prof. Khaligh, Wins 3rd place in the Allegheny Region Cleantech University Prize (CUP) Collegiate Competition 

Paley, Abshire, Martins promoted to full Professor by UMD President Wallace Loh

News Resources

Return to Newsroom

Search News

Archived News

Events Resources

Events Calendar