The Compositional Systems Lab (CSL) is located in the Department of Electrical and Computer Engineering at The University of Arizona. The major focus of this lab involves systems where a major portion of control, operation, or sensing, involves computing. Examples are cyber-physical systems, autonomous systems, and many kinds of robotics. Technology to perform this research includes embedded computing, model-integrated computing, and software engineering. Theoretical understandings in systems theory, graph theory and rewriting, and models of computation is imperative to ensuring systems are built and run correctly.
Check out the website for projects involving autonomous ground vehicles, runtime-configured embedded systems, energy-saving smart thermostats, and more.