Quick Links:
Information on Call for Proposals
Proposal Matchmaking (Archive from 2020 CFP)
C3 Administration (password protected)
Have Questions? Please contact one of us:
- Jay Roloff, jayr@illinois.edu (Executive Director, c3.ai.DTI)
- R. Srikant, rsrikant@illinois.edu (Co-Director, c3.ai.DTI)
- Tandy Warnow, warnow@illinois.edu (Co-chief Scientist, c3.ai.DTI)
Recent space activity
Recently Updated | ||||||||
---|---|---|---|---|---|---|---|---|
|
Space contributors
Contributors | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|
Announcing our Third Call for Proposals:
AI to Transform Cybersecurity and Secure Critical Infrastructure
It is anticipated that up to USD $10 million in Research Awards will be awarded from this Call for Proposals. Proposals can request funding of USD $100,000 to $1,000,000 for an initial period of one (1) year.
C3DTI will also make available up to USD $2 million in Azure Cloud computing resources, supercomputing resources at UIUC’s NCSA and LBNL’s NERSC, and free, unlimited access to the C3 AI Suite hosted on the Microsoft Azure Cloud.
**** We will be offering a virtual session with information on the CFP including an opportunity to ask questions early in January. Please keep an eye out on you email and this wiki page for more information. ****
Proposals are Due February 7, 2022
Awards will be made in March 2022 with start dates of around June 1, 2022
Announcements
Colloquium on Digital Transformation Science
October 7, 3 pm CT
Hierarchical Control for Cyber-Physical Systems and Applications to Traffic Management
Murat Arcak, Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley
Control of vehicle traffic management cyber-physical systems is invariably organized in a hierarchical structure that consists of multiple layers of feedback such as network, road link, and vehicle control. Using traffic management as a running example, this talk will present an integrated approach to designing these layers, thereby enabling a rigorous framework to provide system-level guarantees for the whole control stack. An example of this approach is symbolic control, which generates supervisory control actions to fulfill complex requirements expressed in temporal logic. In traffic management, symbolic control enables us to depart from steady state signal timing plans, and to develop reactive signaling schemes by first expressing finite horizon goals, such as dissipating queues and avoiding saturation, in temporal logic. Moving up to the network layer, we will next present a game theoretic analysis for routing, which takes into account the nonequilibrium dynamics resulting from the drivers’ continual revisions of their routes. We will introduce tools to deal with such dynamics and illustrate them on mixed-autonomy traffic.
Murat Arcak, a professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, received his PhD degree from the University of California, Santa Barbara in 2000. He received a CAREER Award from the National Science Foundation in 2003, the Donald P. Eckman Award from the American Automatic Control Council in 2006, the Control and Systems Theory Prize from the Society for Industrial and Applied Mathematics (SIAM) in 2007, and the Antonio Ruberti Young Researcher Prize from the IEEE Control Systems Society in 2014. He is a Fellow of IEEE and the International Federation of Automatic Control (IFAC).Quick Links:
Information on Call for Proposals
C3 Administration (password protected)
Have Questions? Please contact one of us:
- Jay Roloff, jayr@illinois.edu (Executive Director, c3.ai.DTI)
- R. Srikant, rsrikant@illinois.edu (Co-Director, c3.ai.DTI)
- Tandy Warnow, warnow@illinois.edu (Co-chief Scientist, c3.ai.DTI)
Recent space activity
Recently Updated | ||||||||
---|---|---|---|---|---|---|---|---|
|
Space contributors
Contributors | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|