The research activities related to this Curriculum aim at providing the basic mathematical background and tools for analysis and control of Cyber Physical Systems. CyberPhysical Systems refer to the integration of physical systems and processes with networked computing. The growing interest of Cyber Physical Systems is sustained by the development of important enabling technologies such as embedded systems and wired or wireless communication networks. Embedded systems are computing systems designed to perform dedicated functions often with real-time constraints, and span all aspects of everyday life, from automotive to avionics systems, from white goods to consumer electronics. Monitoring the environment, energy efficient buildings and industrial plants are today feasible with a possibly large number of sensors distributed over a wide region. Control is one of the most advanced applications of Cyber Physical Systems. Smart factories, transportation systems and energy grids are typical examples of CPS: in these systems, sensors, actuators and computing elements are connected by means of a shared (wireless) communication network. Together with the opportunities offered by the wealth of sensing/communication devices and increasing computing power, come tough challenges: control theory was based on mathematical paradigms that do not consider the non-idealities introduced by hardware/software devices and communication networks. These effects pose a number of difficult theoretical and practical problems: the design of distributed control systems must indeed jointly address the dynamics of physical systems, real-time computing and communication protocols and infrastructures.
Besides the huge effort to enhance the role of communication networks as underlying layers that enable sound technical representation and analysis of any system in modern application domains (with the emerging paradigms of Cyber Physical Systems and Systems of Systems as relevant examples), this curriculum includes major topics dealing with fundamental advances in technologies, algorithms and architectures that relate to both fixed and wireless network domains and their integration. A list of major topics is provided in the following:
Applications contexts spans from the smart power grid to smart buildings, environmental monitoring, monitoring of civil structures, industrial control and intelligent transportation systems. Besides theoretical advances, all activities offer to opportunity to interact with partner companies. Furthermore, experimental facilities are available for testing in the real world.
The implementation of new and better performing infrastructure for increasingly complex ICT systems, must be accompanied by a more efficient ability to design, simulate, build and test systems integrated micro and nano electronics. It is necessary to combine the increase of functional complexity on-chip with the performance improvement and the reduction of power dissipated on chip and in the overall system. These objectives are often in marked contrast between them, they may be pursued through complementary and cooperating new strategies. Some of these strategies are aimed at strengthening of a unified view of system design post-placing as much as possible the implementation choices in order to obtain a design flow more efficient, effective and portable. Other complementary strategies, in order to guarantee an effective, quick and compliant feasibility physical layer, consider it necessary to have an efficient ability to model devices and systems directly linked to the technology layer and then try to hook directly to the models of the upper layers. It is therefore more necessary to develop appropriate new methodologies and tools for modeling, simulation and testing of on-chip systems. (EDA tools, compliant prototyping, and technological benchmark ....). In general, we consider the development of such topics as:
The PhD Program in ICT offers a graduate school of excellence around major topics in Information and Communication Technology, with particular emphasis on “pervasive ICT infrastructures”.
The XXX Cycle PhD Program in ICT is organized along the following curricula: (By visiting each curriculum it is possible to see all the Research areas): Curriculum 1: System Engineering,
Maria Domenica Di Benedetto (Coordinator) Arbib Claudio Autili Marco Caianiello Pasquale Caravani Paolo Cassioli Dajana Cicerone Serafino Cortellessa Vittorio Costantini Stefania Della
Academic The PhD program will leverage the tight interaction of DEWS and DISIM with world-wide renowned schools of excellence focused on Pervasive ICT such as University of California at Berkeley,
Within this PhD program, the following courses have been offered: Academic Year: 2012/2013 Advanced courses: EECI Graduate School: “Specification, Design, and Verification of Distributed
Claudio COLAMARINO Antonio DI FRANCESCO Juri DI ROCCO Lucien ETIENNE Alessio IOVINE Stefano LEUCCI Luca NUBILE Raffaele OLIVIERI Giovanni PALOMBO Gianni ROSA Alessio