ΑΡΧΙΚΗ ΣΕΛΙΔΑ

PhD positions at ASU (Arizona State University)
09.12.10

PHD positions in Cyber-Physical Systems Analysis and Design
-----------------------------------------------------------
at Arizona State University (ASU), Tempe, Arizona, USA

Potential PhD/MS topics:
-------------------------
1. Model based falsification of Cyber-Physical Systems
2. Formal reasoning framework for human robot interaction
3. Development of multi-aerial vehicle testbed

Cyber-Physical Systems
------------------------
Cyber-Physical Systems (CPS) is a broad class of systems that integrate (engineered) physical systems with computational and communication systems. Examples of CPS range from small scale systems, such as implanted medical devices or autonomous robots, to medium scale, such as automobiles and aircrafts, to large scale systems, for example, a power grid. A key component of every CPS is the underlying (possibly distributed and heterogeneous) software that controls a system or a system of systems. Numerical and logical errors in the software can have catastrophic results on the physical system. Many well-known CPSs failures have been attributed to the existence of numerical errors and bugs in the software. Well known examples are the failures of the space missile Ariane V and the radiation therapy system THERAC. The above projects try to address several aspects in the design of CPS.

Brief project descriptions
----------------------------
Model based falsification of Cyber-Physical Systems: The goal of this project is to develop stochastic analysis techniques that attempt to find logical errors in the design of CPS. The research is funded by the National Science Foundation and Toyota. A successful candidate must have a strong control systems background and be willing to learn theoretical computer science.

Formal reasoning framework for human-robot interaction: The goal of this project is to develop a formal reasoning framework for human-robot interaction. Ideally, humans should be able to provide missions to groups of robots within a natural language interface. Moreover, the missions need to be updated during system execution. Frequently, it is the case that the goals defined by the user cannot be achieved by the robot. Then, the robot should provide feedback to the user on why the plan fails and recommendations for approximately completing its goals. A successful candidate must have a strong mathematical background in both discrete (e.g., algorithms and logic) and continuous mathematics.

Development of multi-aerial vehicle testbed: The goal of this project to develop a multi-aerial vehicle testbed consisting of quadrotors. The testbed will be utilized to demonstrate automatic synthesis of controllers and human-robot interaction. A successful candidate must have a strong control systems background, C programming experience and be willing to learn theoretical computer science.

ASU (http://www.asu.edu/)
-------------------------------
Arizona State University (ASU) is the largest public research university in the United States, with a 2010 student enrollment of 70,440. ASU is spread across four campuses in the Phoenix Metropolitan Area. Under the Carnegie Classification of Institutions of Higher Education, ASU is classified as a Research University with Very High research activity, with annual research expenditures over $300 million. ASU is located in Phoenix which is the 5th largest city in the US. As such, it offers a wide variety of cultural activities.

The proposed research will be contacted within the School of Computing, Informatics and Decision Systems Engineering: http://engineering.asu.edu/cidse If the particular research topic involves collaboration with the industry, then the student is going to be also affiliated with the Consortium for Embedded Systems (CES): http://embedded.asu.edu/

Soon, the School of Computing, Informatics and Decision Systems Engineering in collaboration with the School of Electrical, Computer and Energy Engineering will host a new program on computer engineering with a track on embedded control systems. ASU is a unique place for contacting research in embedded control systems due to the numerous faculty who are contacting research in embedded systems and control theory. Moreover, there are several companies in the Phoenix metro area active in developing embedded systems.

Qualifications:
---------------
Strong background in control systems or applied mathematics is required. Experience with embedded systems and C programming is a plus.

Salary:
-------
The yearly gross salary is $20,000.

Contact information:
--------------------
If interested, please contact Dr Georgios Fainekos.
Email address: Αυτό το ηλεκτρονικό μήνυμα προστατεύεται από spam bots, θα πρέπει να έχετε ενεργοποιημένη τη Javascript για να το δείτε
(Please include your CV with the email)
Web-page for further information:
http://www.public.asu.edu/~gfaineko/

 
< Προηγ.   Επόμ. >