Compositional Systems Lab

The objective of this work is to generate new fundamental science that enables the operation of cyber-physical systems through complex environments. Predicting how a system will behave in the future requires more computing power if that system is complex. Navigating through environments with many obstacles could require significant computing time, which may delay the issue of decisions that have to be made by the on-board algorithms. Fortunately, systems do not always need the most accurate model to predict their behavior.

In the next few decades, autonomous vehicles will become an integral part of the traffic flow on highways. However, they will constitute only a small fraction of all vehicles on the road. This research develops technologies to employ autonomous vehicles already in the stream to improve traffic flow of human-controlled vehicles. The goal is to mitigate undesirable jamming, traffic waves, and to ultimately reduce the fuel consumption. Contemporary control of traffic flow, such as ramp metering and variable speed limits, is largely limited to local and highly aggregate approaches.

On February 18-19, 2014, we will hold a one and a half-day workshop designed for researchers who aspire to participate in NSF's Cyber-Physical Systems (CPS) program.  The workshop is by invitation only, and is open to people with research interests in cyber-physical systems who have not previously been funded by NSF as part of the CPS Program.  The goal of the workshop is to help aspiring PIs understand what NSF (and importantly, the panels convened by NSF) are expecting to see in a successful CPS proposal.

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain-specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project involves new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language for all CPS.

This research experience for undergraduates (REU) engaged in the myriad of applications that are related to autonomous ground vehicles. This summer, 10 NSF-funded undergraduate students participated in an immersive research experience, sitting side-by-side with graduate researchers and working on one of the most compelling, and complex, applications of today: autonomous systems.

This work is supported by the National Science Foundation under award CNS-0915010.

PI Roman Lysecky, with Michael Marcellin and Jerzy Rozenblit.

Although not the primary focus of the lab, the Compositional Systems Lab at the University of Arizona occasionally develops mobile applications that permit research in model-based design and development, as well as provide societal benefit. As these projects mature, they are available from this website.


How much money do you spend on your HVAC every month? This project gives you the ability to predict how much your energy choices are costing you. It can actually go further--give us your cost budget, and we'll pick your set points for you.

Principal Investigator: Jonathan Sprinkle (University of Arizona)
Funding Agency: Air Force Office of Scientific Research
Program Officer: Dr. Robert Bonneau
Award Number: #FA9550-091-0519

This project was subcontracted through SSCI to ARO, as a Phase 2 STTR. The project is publication restricted, so only the private webpage is available.

This work is supported by the Army Research Office, under award #W31P4Q-08-C-0498, titled "Modeling Techniques to Support Matrix-Based Algorithm Obfuscation".