Radu Grosu on The Human Heart An Ultimate Cyber-Physical System

Wednesday April 24, 13:15 (1:15pm), Haldasalen, Halmstad University

Click here for a video recording of the lecture.

This talk discusses the opportunities and research challenges faced in the modeling, analysis and control of the human heart. Consisting of more than 4 billion communication nodes, interconnected through a very sophisticated communication structure, this ultimate cyber-physical system achieves with an astonishing reliability, the electric synchronization and the mechanical contraction of all of its nodes, in order to pump blood, during what is commonly known as a heart beat. However, even this cyber-physical system, engineered by billion years of evolution is fallible, and predicting its failure is a great challenge for our society.

About Prof. Radu Grosu

Radu Grosu is a Professor and Head of the Dependable-Systems Group at the Faculty of Informatics of the Vienna University of Technology, and a Research Professor at the Computer Science Department of the State University of New York at Stony Brook. His research interests include modeling, analysis and control of cyber-physical and biological systems and his application focus includes green operating systems, mobile ad-hoc networks, automotive systems, the Mars rover, cardiac-cell networks and genetic regulatory networks. Grosu is the recipient of the National Science Foundation Career Award, the State University of New York Research Foundation Promising Inventor Award, the ACM Service Award, and a member of the International Federation of Information Processing WG 2.2. Before receiving his appointment at the Vienna University of Technology, Grosu was an Associate Professor in the Computer Science Department of the State University of New York at Stony Brook, where he co- directed the Concurrent-Systems laboratory and co-founded the Systems-Biology laboratory. Grosu earned his Dr.rer.nat. in Computer Science from the Technical University of M√ľnchen, and was a Research Associate in the Computer Science Department of the University of Pennsylvania.

Janos Sztipanovits on Model-based Design of Cyber-Physical Systems

Tuesday April 16, 13:15 (1:15pm), Wigforssalen, Halmstad University

Click here for a video recording of the lecture.

CPS design flows span physical and computational domains and incorporate software synthesis for cyber and manufacturability concerns for physical components. Heterogeneity is the norm as well as the main challenge: components and systems are modeled using multiple physical, logical, functional and non-functional modeling aspects. Traditional design flows use the separation of concern principle to decompose the overall design problem into manageable problem sizes. However, the fundamental goal of model-based design - to move toward a correct-by-construction design technology - requires modeling and analyzing cross-domain interactions among physical and cyber domains and demands understanding the effects of heterogeneous abstraction layers in the design flow. The talk will summarize progress and lessons learned during the development of a design tool chain for real-life applications in vehicle application domains.

About Prof. Janos Sztipanovits

Dr. Janos Sztipanovits is currently the E. Bronson Ingram Distinguished Professor of Engineering at Vanderbilt University and he also holds the Joe B. Wyatt Distinguished University Professor title in 2012/2013. He is founding director of the Institute for Software Integrated Systems (ISIS). His research areas are at the intersection of systems and computer science and engineering. His current research interest includes the foundation and applications of Model-Integrated Computing for the design of Cyber Physical Systems. His other research contributions include structurally adaptive systems, autonomous systems, design space exploration and systems-security co-design technology. He was founding chair of the ACM Special Interest Group on Embedded Software (SIGBED). He served as program manager and acting deputy director of DARPA/ITO between 1999 and 2002 and he was member of the US Air Force Scientific Advisory Board between 2006-2010. He is member of the Academic Executive Board of Cyber-Physical Systems Virtual Organization and he is member of the national steering group. Dr. Sztipanovits was elected Fellow of the IEEE in 2000 and external member of the Hungarian Academy of Sciences in 2010. He won the National Prize in Hungary in 1985 and the Golden Ring of the Republic in 1982. He graduated (Summa Cum Laude) from the Technical University of Budapest in 1970 and received his doctorate from the Hungarian Academy of Sciences in 1980.

John Kenney on A Linear Adaptive Control Approach to Congestion Management in Cooperative ITS

Monday April 15, 10:15am, Wigforssalen, Halmstad University

Click here for a video recording of the lecture.

Vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communication hold great promise for significantly reducing the human and financial costs of vehicle collisions. A common characteristic of this communication is the broadcast of a device’s core state information at regular intervals, e.g. via the Cooperative Awareness Message defined by ETSI, or the Basic Safety Message defined by SAE. Unless controlled, the aggregate of these broadcasts will congest the channel under dense traffic scenarios. This talk explores the problems and characteristics of this congestion, and presents a congestion control approach based on adapting safety message transmission rates. The LInear MEssage Rate Integrated Control (LIMERIC) algorithm uses linear, as opposed to binary, adaptive feedback to keep channel load at a level that achieves high throughput and acceptable MAC frame collision probability. LIMERIC has provable stability and fairness properties. The talk also presents extensions to LIMERIC that enable differentiated transmission opportunities based on vehicle characteristics (e.g. dynamics). Analytical and NS-2 simulation results are presented that illustrate the performance and key characteristics of LIMERIC.

About Dr. John Kenney

John Kenney leads a vehicular networking research team at Toyota InfoTechnology Center in Mountain View, California. Research interests include wireless protocols at the MAC and Physical layers, congestion control, security, and performance optimization. He represents Toyota in the CAMP VSC consortium and in international standards organizations including IEEE, SAE, and ETSI. He was General Co-Chair of the ACM VANET Workshop in 2011 and 2012. He holds a Bachelor’s degree and Ph.D. from the University of Notre Dame and a Master’s from Stanford University. He also was an adjunct professor at Notre Dame from 1990-2010. Prior to his work for Toyota his research interests included high speed Internet switches, QoS, and adaptive systems.