NSF CAREER Award

Research projects under NSF Career Award.

A meta-metamodel for dynamic constraint feedback in modeling languages

M. Bunting and Sprinkle, J., “A meta-metamodel for dynamic constraint feedback in modeling languages”, in Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019.

The Arizona Ring Experiments Dataset (ARED)

F. Wu, Stern, R. E., Cui, S., Monache, M. Laura Dell, Bhadani, R., Bunting, M., Churchill, M., Hamilton, N., Wu, F., Piccoli, B., Seibold, B., Sprinkle, J., and Work, D. B., “The Arizona Ring Experiments Dataset (ARED)”. 2018.

Model-based engineering with application to autonomy

R. Bhadani, Bunting, M., and Sprinkle, J., “Model-based engineering with application to autonomy”, in Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy, Wiley, 2019, pp. 255-285.

{The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications}

R. Bhadani, Sprinkle, J., and Bunting, M., “{The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications}”, in Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science , 2018, vol. 269. Document: PDF icon Download preprint (5.53 MB)

CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems

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.

Subscribe to RSS - NSF CAREER Award