Theoretical aspects of cyber-physical systems.
This project, generalizing mean-field approaches from physics and chemistry for integrated design of scalable, network resource aware, distributed control strategies for multi-agent robotic systems, aims to develop macroscopic models that retain salient features of the underlying multi-agent robotic system and use these models in the design of distributed control strategies. For complex cyber physical systems, this promises to provide a novel design methodology that is potentially applicable to a large class of systems and, therefore, will result in foundational knowledge of use to the community at large. This high-risk, high-reward project integrates ideas from physics, chemistry, control theory, and robotics to develop new theoretical foundations for the design, validation, and improvement of coordination strategies for multi-agent robotic systems. The project's intellectual merit lies in the ensemble approach towards the design, validation, and improvement of cyber physical systems. Mean-field methods provide a system-level abstraction of the underlying distributed system while retaining the salient features of the various agent-level interactions. The generalization of these models to ensembles of interacting engineered systems provides new methods for designing distributed controllers that are sensitive to changing network resources and whose performance can be predicted and adjusted to achieve both the desired short-term and long-term performance specifications. Broader Impacts: The broader impacts of this project are twofold. First, the mean-field approach takes into account network resource usage and management, providing an integrated strategy for designing scalable decentralized control and coordination strategies. Second, different from biologically-inspired approaches, the mean-field approach enables the design of distributed coordination strategies whose performance can be systematically predicted and tuned to meet detailed performance specifications. This has the potential to unify various existing multi-agent coordination approaches. The research outcomes will be disseminated through publications in technical conferences and journals and incorporated into the PI's existing undergraduate and graduate curriculum and K-12 outreach efforts targeted at increasing female participation in STEM fields.
Off
Drexel University
-
National Science Foundation
M. Ani Hsieh Submitted by M. Ani Hsieh on December 18th, 2015
Cyber-physical systems (CPS) are becoming the key enabler in many engineering domains from traffic management to autonomous vehicles. Concurrency, failures, and their interactions with the physical environment make it challenging to wrestle a high level of confidence from such systems. This project develops a reusable middleware service which enables the creation of verified and hence reliable distributed CPS by pushing the state-of-the-art in two directions: (1) Existing distributed services cannot be practically implemented because of high communication costs incurred in the face of dynamic failures and changes. This project develops a Group Communication Service (GCS) which can be implemented with reasonable resources and which guarantees automatic recovery after failures (stabilization). (2) Existing verification techniques focus on non-distributed CPS, and in general systems with failures, message delays, etc., are unlikely to be amenable to automated analysis. For applications built with the GCS, the project develops a suite of verification tools that exploit stabilization, compositionality, abstraction-refinement, and delay insensitivity of applications. These core research tasks will lead to fundamental advances in design and verification of hybrid and distributed systems. The outcomes of this project are expected to bolster the dependability of emerging applications in autonomous vehicles and factories, and intelligent surveillance systems, while keeping the development costs acceptable through automation. Through industry collaborations, the research outcomes will be translated into engineering practices. The educational component will provide course and lab modules for graduate, undergraduate, and high-school students with the aim of unifying the physical and the computational viewpoints in the systems curriculum. Through active recruitment and mentoring, women and minority students will be prepared for careers in scientific research.
Off
University of Illinois at Urbana-Champaign
-
National Science Foundation
Sayan Mitra Submitted by Sayan Mitra on December 18th, 2015
CALL FOR PAPERS 9th International Workshop on Computing with Terms and Graphs  (TERMGRAPH  2016) a Satellite Event of ETAPS 2016 Background
Submitted by Anonymous on December 17th, 2015
Event
ReS4AnT
First Workshop on Resource Awareness and Application Autotuning in Adaptive and Heterogeneous Computing (ReS4AnT) http://www.date-conference.com/conference/workshop-w08  |  http://res4ant.deib.polimi.it Co-located with the Design, Automation & Test in Europe Conference & Exhibition (DATE) March 18, 2016, Dresden, Germany
Submitted by Anonymous on December 17th, 2015
RAMMMNets 2016: Workshop on Real-time Analytics in Multi-latency, Multi-Party, Metro-scale Networks  Co-Chairs: Chaitan Baru, U.S. National Science Foundation Stephen Dennis, U.S. Department of Homeland Security  Background 
Submitted by Anonymous on December 16th, 2015
Event
RTAS 2016
22nd IEEE Rea​l-Time and Embedded Technology and Applications Symposium (RTAS 2016) will be held in Vienna, Austria, as part of the Cyber-Physical Systems Week (CPSWeek) in April 2016. The conference includes a Work in Progress (WiP) and Demo session intended for presentation of recent and on-going work, as well as for demonstrations of tools and technology that have the potential to be used in the design and development of real-time systems. In keeping with the spirit of the main symposium, we invite submissions of WiP papers and demos with an emphasis on system and application aspects.
Submitted by Anonymous on December 8th, 2015
Event
ECYPS’2016
4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS’2016) ECYPS’2016 - the 4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO’2016 - the 5th Mediterranean Conference on Embedded Computing. It is devoted to cyber-physical systems (CPS) for modern applications that usually require high-performance, low energy consumption, high safety, security and reliability.
Submitted by Anonymous on December 8th, 2015

 

Image removed.

Smart City Challenge

About The Challenge

The USDOT has pledged up to $40 million (funding subject to future appropriations) to one city to help it define what it means to be a “Smart City “and become the country’s first city to fully integrate innovative technologies – self-driving cars, connected vehicles, and smart sensors – into their transportation network.

Image removed.

Today, U.S. Transportation Secretary Anthony Foxx announced a Smart City Challenge to create a fully integrated, first-of-its-kind city that uses data, technology and creativity to shape how people and goods move in the future.  The winning city will be awarded up to $40 million from the USDOT (funding subject to future appropriations) to implement bold, data-driven ideas by making transportation safer, easier, and more reliable. Additionally, Paul G. Allen's Vulcan Inc., has announced its intent to award up to $10 million to the USDOT winner of the Smart City Challenge. The winning city will need to work with Vulcan to secure this funding. The Smart City Challenge builds on the USDOT's Beyond Traffic draft report issued in February of 2015.  Beyond Traffic reveals that our nation's aging infrastructure is not equipped to deal with a dramatically growing population in new regions throughout the country and the need for increased mobility options in developing megaregions. This public-private collaboration represents the USDOT and Vulcan Inc.'s joint belief that creativity and innovation will be absolutely essential to meeting the significant transportation challenges of the future. Lessons learned from this competition will be used in other cities to improve networks nationwide and demonstrate a practical path to replacing carbon-based fuel consumption. The USDOT welcomes the participation of other entities who share the vision and goals in the Notice of Funding Opportunity found at https://www.transportation.gov/smartcity/nofo

"This is an opportunity for the winning city to define what it means to be a 'Smart City' when it comes to transportation.  We encourage cities to develop their own unique vision, partnerships and blueprints to demonstrate to the world what a fully integrated, forward-looking transportation network looks like," said U.S. Transportation Secretary Anthony Foxx. "America can remain the global leader in maintaining the safest, most efficient system in the world: I am looking for mayors who share that belief to join us in pushing the boundaries of what is possible." The USDOT is kicking off its Smart City Challenge today by inviting cities to submit a high-level description of their vision of a SmartCity by February 4, 2016, consistent with the Notice of Funding Opportunity. The USDOT will then announce five finalists in March 2016, who will then compete for up to $40 million to be awarded to one city in June 2016. The Smart City Challenge will allow the selected city to demonstrate how advanced data, technologies, and applications can be used to reduce congestion, keep travelers safe, protect the environment, respond to climate change, and support economic vitality. The following are attributes of the ideal Smart City Challenge candidate:

  •  Mid-sized city with a population between approximately 200,000 and 850,000 people within city limits as of the 2010 Census;
  • A population density typical of a mid-sized city using 2010 Census data;
  • Represents a significant portion (more than 15 percent) of the overall population of its urban area using 2010 Census data;
  • An established public transportation system
  • An environment that is conducive to demonstrating proposed strategies;
  • Leadership and capacity to carry out the demonstration throughout he period of performance.

"Transformative innovation takes ambitious support from both the government and the private sector. That's why we're partnering with the DOT to inspire innovative, scalable, proof-of-concept solutions to address some of our planet's most urgent challenges," said Vulcan President and Chief Operating Officer Barbara Bennett.  "We hope that together we can spur change by demonstrating what is possible through replicable models." Applicants are invited to submit ideas - designed to address or enhance community needs - across a range of innovation and data-driven platforms. Critical system improvements that increase safety, reduce carbon emissions, and enhance mobility are especially encouraged for review. Specifically, these innovations will connect people, vehicles, public transportation, and infrastructure through ITS, sharing economy, and other technologies that improve the way Americans move, whether it be to drop off kids at school, pick up their groceries, get to work, and receive critical services. Secretary Foxx will host a national webcast on December 8, and a Smart City Forum will be web streamed on December 15 to discuss this funding opportunity, the application requirements, and the award selection process, and to answer relevant questions from interested parties. Participation in the webinars is not mandatory to submit an application under this solicitation. To view the December 8 webcast, visit: https://www.transportation.gov/smartcity. To register for the forum, visit: https://www.transportation.gov/smartcity/smartcitiesforum

The first round of applications is due February 4, 2016. Cities interested in applying should visit this website to learn more.To learn more about the Smart City Challenge or to explore joining as a partner organization, visit: https://www.transportation.gov/smartcity

General Announcement
Not in Slideshow
Emily  Wehby Submitted by Emily Wehby on December 8th, 2015
13th IEEE International Conference on Ubiquitous Intelligence and Computing (IEEE UIC 2016) Ubiquitous sensors, devices, networks and information are paving the way towards a smart world in which computational intelligence is distributed throughout the physical environment to provide reliable and relevant services to people.
Submitted by Anonymous on December 8th, 2015
Event
SNR 2016
2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016) Affiliated with CPSWeek 2016 Scope
Submitted by Anonymous on December 8th, 2015
Subscribe to Foundations