CPS: Synergy: Collaborative Research: Formal Design of Semi-Autonomous Cyber-Physical Transportation Systems
Domitilla Del Vecchio
Lead PI:
Domitilla Del Vecchio
Co-PI:
Abstract
The goal of this research is to develop fundamental theory, efficient algorithms, and realistic experiments for the analysis and design of safety-critical cyber-physical transportation systems with human operators. The research focuses on preventing crashes between automobiles at road intersections, since these account for about 40% of overall vehicle crashes. Specifically, the main objective of this work is to design provably safe driver-assist systems that understand driver?s intentions and provide warnings/overrides to prevent collisions.
Performance Period: 11/01/2012 - 10/31/2016
Institution: Massachusetts Institute of Technology
Sponsor: National Science Foundation
Award Number: 1239182
Project URL
Project URL
CPS: Synergy: Collaborative Research: Harnessing the Automotive Infoverse
Lead PI:
Ramesh Govindan
Co-PI:
Abstract
Until now, the cyber component of automobiles has consisted of control algorithms and associated software for vehicular subsystems designed to achieve one or more performance, efficiency, reliability, comfort, or safety goals, primarily based on short-term intrinsic vehicle sensor data. However, there exist many extrinsic factors that can affect the degree to which these goals can be achieved.
Performance Period: 10/01/2013 - 09/30/2019
Sponsor: National Science Foundation
Award Number: 1330118
CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems
Lead PI:
Jason Rife
Co-PI:
Abstract
The objective of this project is to research tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.
Performance Period: 10/01/2013 - 09/30/2016
Institution: Tufts University
Sponsor: National Science Foundation
Award Number: 1329341
CPS: Synergy: Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop
Francesco Borrelli
Lead PI:
Francesco Borrelli
Co-PI:
Abstract
This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges for driver behavior and environment reconstruction.
Performance Period: 10/01/2012 - 09/30/2015
Institution: University of California at Berkeley
Sponsor: National Science Foundation
Award Number: 1239323
Project URL
Project URL
CPS: Breakthrough: Safe Protocols in Cyber-Physical Systems (CPS)
Nicholas Maxemchuk
Lead PI:
Nicholas Maxemchuk
Abstract
The objective of this research is to prove that cyber-physical systems are safe before they are deployed. The approaches the research investigates are extensions of approaches used to test communications protocols. The problems with cyber-physical systems are that 1) they are much more complicated than communications protocols, 2) time is a more critical component of these systems, and 3) in a competitive environment there are likely to be many implementations that must interoperate. The complexity of communications protocols is reduced by using a layered architecture.
Nicholas Maxemchuk

Nicholas F. Maxemchuk

 

Education

·      Ph.D. Doctor of Philosophy, Systems Engineering, University of Pennsylvania, May 1975.

·      M.S. Moore School of Electrical Engineering, University of Pennsylvania, May 1970.

·      B.S. Bachelor of Electrical Engineering, The City College of New York, June 1968. (Graduated Magna Cum Laude).

 

Academic Experience

·      2001 - Present  Full Professor  Columbia University

·      2008 - Present  Chief Researsher        IMDEA Networks, Madrid

·      University of Melbourne, Visiting Academic Oct. 99.

·      Opponent: KTH Sweden, June 1997.

·      Department Visiting Committee, Comp. Sci., University of Texas at Austin 1989-92.

 

Non-Academic Experience

·      2009-2012    Consultant      NYC MTA

·      2008    Chief Scientist Telcordia

·      2007-2010       Consultant      Bell Labs, Murray Hill, NJ

·      Technical Advisory Board -  start-upEnrichnet 2000-2002

·      1996 - 2001     Technology Leader       AT&T Research Labs

·      Technical Advisory Board start-up - BrightLink Networks 1998->2001

·      1984 - 1996     Department Head AT&T Bell Laboratories

·      1976 - 1984     MTS     Bell Labs

·      1968 - 1976     MTS     RCA David Sarnoff Res. Cntr.

 

Current Membership in Professional Organizations

·      IEEE, Eta Kappa Nu and Tau Beta Pi

 

Honors and Awards

·      2006 IEEE Koji Kobayashi Award for Computer and Communications

·      1997 William R. Bennett Prize Paper Award for S. Low, N. F. Maxemchuk, S. Paul, "Anonymous Credit Cards and Its Collusion Analysis," IEEE Trans. on Networking, dec. 1996, vol. 4, no.6, pp 809-816

·      1996 R&D 100 Award for "Document Copying Deterrent System"

·      1989 Elected Fellow of the IEEE

·      1988 Leonard G. Abraham Prize Paper Award, for N. F. Maxemchuk, "Routing in the Manhattan Street Network," IEEE Trans. on Commun., May 1987, vol. COM-35, no. 5, pp. 503-512., also s elected for IEEE ComSoc 50th anniv. iss.

·      Selected for IEEE ComSoc 50th anniv. iss., and included in the DQDB standard, E. L. Hahne, A. K. Choudhury, N. F. Maxemchuk, "DQDB Networks With and Without Bandwidth Balancing," IEEE Trans. on Commun., Vol. 40, No. 7, July 1992, pp 1192-1204

Performance Period: 10/01/2013 - 09/30/2016
Institution: Columbia University
Sponsor: National Science Foundation
Award Number: 1329593
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models
Lead PI:
Scott Smolka
Abstract
Implantable Cardiac Defibrillators (ICDs) are at the forefront of preventing sudden death in patients suffering from ventricular arrhythmias. ICDs have evolved into complex Cyber-Physical Systems (CPS)which tightly sensing, hardware, and software to diagnose arrythmias based on electrogram signals and control cardiac excitation. These devices are life-critical, yet the Verification and Validation (V&V) techniques used for establishing their safety have remained somewhat informal, and rely largely on extensive unit testing.
Performance Period: 12/01/2014 - 08/31/2019
Institution: SUNY at Stony Brook
Sponsor: National Science Foundation
Award Number: 1445770
CPS: Synergy: Collaborative Research: Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures
Saman Zonouz
Lead PI:
Saman Zonouz
Abstract
Trustworthy operation of next-generation complex power grid critical infrastructures requires mathematical and practical verification solutions to guarantee the correct infrastructural functionalities. This project develops the foundations of theoretical modeling, synthesis and real-world deployment of a formal and scalable controller code verifier for programmable logic controllers (PLCs) in cyber-physical settings. PLCs are widely used for control automation in industrial control systems.
Saman Zonouz

Saman Zonouz is an Associate Professor at Georgia Tech in the Schools of Cybersecurity and Privacy (SCP) and Electrical and Computer Engineering (ECE). Saman directs the Cyber-Physical Security Laboratory (CPSec) which recently hosted a U.S. Congressional visit to demonstrate its research outcomes. His research (supported by ~$136M collaboratively) focuses on security and privacy research problems in cyber-physical systems including attack detection and response capabilities using techniques from systems security, control theory and artificial intelligence. Saman recently delivered the Plenary Keynote in DOE’s Cybersecurity Conference to a large audience (~2,000 people). His research has been awarded by Presidential Early Career Awards for Scientists and Engineers (PECASE) by the United States President, the NSF CAREER Award in Cyber-Physical Systems (CPS), Significant Research in Cyber Security by the National Security Agency (NSA), Faculty Fellowship Award by the Air Force Office of Scientific Research (AFOSR), Google Hall of Fame Security Award, Provost Research Award, Outstanding Faculty Research Award by the Georgia Tech College of Computing, and Cybersecurity Fellowship by the Georgia Tech College of Engineering. His research group has disclosed several security vulnerabilities with published CVEs in widely-used industrial controllers such as Siemens, Allen Bradley, and Wago. Saman is currently a Co-PI on President Biden’s American Rescue Plan $65M Georgia AI Manufacturing (GA-AIM) project. Saman was invited to co-chair the NSF CPS PI Meeting as well as the NSF CPS Next Big Challenges Workshop. Saman has received two Georgia Tech Teaching Awards for his courses “Cybersecurity of Drones” and “Critical Infrastructure Security”. Saman has served as the chair and/or program committee member for several conferences (e.g., IEEE S&P, USENIX Security, CCS, NDSS, DSN, and ICCPS). Saman obtained his Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign.

Performance Period: 01/01/2015 - 12/31/2017
Institution: Rutgers University New Brunswick
Sponsor: National Science Foundation
Award Number: 1446471
CPS: Synergy: Collaborative Research: In-Silico Functional Verification of Artificial Pancreas Control Algorithms
Sriram Sankaranarayanan
Lead PI:
Sriram Sankaranarayanan
Co-PI:
Abstract
The project investigates a formal verification framework for artificial pancreas (AP) controllers that automate the delivery of insulin to patients with type-1 diabetes (T1D). AP controllers are safety critical: excessive insulin delivery can lead to serious, potentially fatal, consequences. The verification framework under development allows designers of AP controllers to check that their control algorithms will operate safely and reliably against large disturbances that include patient meals, physical activities, and sensor anomalies including noise, delays, and sensor attenuation.
Sriram Sankaranarayanan
Sriram Sankaranarayanan is an assistant professor of Computer Science at the University of Colorado, Boulder. His research interests include automatic techniques for reasoning about the behavior of computer and cyber-physical systems. Sriram obtained a PhD in 2005 from Stanford University where he was advised by Zohar Manna and Henny Sipma. Subsequently he worked as a research staff member at NEC research labs in Princeton, NJ. He has been on the faculty at CU Boulder since 2009. Sriram has been the recipient of awards including the President's Gold Medal from IIT Kharagpur (2000), Siebel Scholarship (2005), the CAREER award from NSF (2009) and the Dean's award for outstanding junior faculty for the College of Engineering at CU Boulder (2012).
Performance Period: 10/01/2014 - 09/30/2017
Institution: University of Colorado at Boulder
Sponsor: National Science Foundation
Award Number: 1446900
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems
Georgios Fainekos
Lead PI:
Georgios Fainekos
Abstract
This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.
Performance Period: 08/15/2014 - 07/31/2019
Sponsor: National Science Foundation
Award Number: 1350420
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
John Hatcliff
Lead PI:
John Hatcliff
Co-PI:
Abstract
This project aims to achieve key technology, infrastructure, and regulatory science advances for next generation medical systems based on the concept of medical application platforms (MAPs). A MAP is a safety/security-critical real-time computing platform for: (a) integrating heterogeneous devices and medical IT systems, (b) hosting application programs ("apps") that provide medical utility through the ability to both acquire information and update/control integrated devices, IT systems, and displays.
Performance Period: 10/01/2012 - 09/30/2016
Institution: Kansas State University
Sponsor: National Science Foundation
Award Number: 1239534
Subscribe to