The project titled Model Exploration for Cyber-Physical Systems studies methods for property revision and property exploration of Cyber Physical Systems (CPS) where the properties are expressed in timed or untimed temporal logics. CPS  are systems where an embedded computing device interacts with the physical environment in nontrivial ways. Modern automobiles are prime examples of CPS: they encompass a large number of Electronic Control Units (ECUs) which are networked and directly control important components of the vehicle or assist the human in doing so. Another example is intelligent autonomous robots that perform a variety of automated tasks. In the first case, the system designer may be interested in exploring what properties the system satisfies. For example, is it possible to switch three times gears within 3sec? In the latter case, the human user of the robots may ask the robots to perform tasks that cannot be accomplished. In most of the cases, the human user will be a technologically inept user who does not understand why the robots cannot perform certain tasks. Thus, the system should provide explanations and possible solutions to the user. The work in this project addresses these two distinct problems within the same theoretical framework. In order to validate the theoretical results of this project a number of experiments must be performed. The experimental nature of the work makes this project an excellent candidate for introducing undergraduate students to research through concrete motivating problems. In particular, the two REU students will help in developing the experimental platforms, contacting the experiments and, finally, depending on their level of motivation even perform some theoretical work.
|Effective start/end date||9/1/11 → 8/31/15|
- National Science Foundation (NSF): $390,998.00