The formalization of system engineering models and approaches.
Infrastructure networks are the foundation of the modern world. Their continued reliable and efficient function without exhausting finite natural resources is critical to the security, continued growth and technological advancement of the United States. Currently these systems are in a state of rapid flux due to a collision of trends such as growing populations, expanding integration of information technology, and increasing motivation to adopt sustainable practices. These trends beget both exciting potential benefits and dangerous challenges. Added sensing, communication, and computational capabilities hold the promise of increased reliability, efficiency and sustainability from "smart" infrastructure systems. At the same time, new technologies such as renewable energy resources in power systems, autonomous vehicles, and software defined communication networks, are testing the limits of current operational and market policies. The rapidly changing suite of system components can cause new, unforeseen interactions that can lead to instability, performance deterioration, or catastrophic failures. Achieving the full benefits of these systems will require a shift from the existing focus on approaches that analyze each aspect of interest in isolation, to a more holistic view that encompasses all of the relevant factors such as stability, robustness, performance and efficiency, and takes into account the presence of human participants. This project provides a research roadmap to construct analysis, design and control tools that ensure the seamless integration of computational algorithms, physical components and human interactions in next generation infrastructure systems. Although there has been a great deal of research on stability questions in large scale distributed systems, there has been little effort directed toward questions of performance, robustness and efficiency in these systems, especially those with heterogeneous components and human participants. This research employs coupled oscillator systems as a common modeling framework to (i) characterize stability and performance of infrastructure systems, and (ii) develop distributed controllers that guarantee performance, efficiency and robustness by isolating disturbances and optimizing performance objectives. Practical solutions require that the theory be tightly integrated with the economic mechanisms necessary to incentivize users to enhance system stability, efficiency and reliability; therefore the work will also include the design of economic controls. In order to ground the mathematical foundations, theory and algorithms described above, the results will be applied to three target infrastructure networks where coupled oscillator models have played a foundational role in design and control: power, communication, and transportation systems. This approach allows the development of cross-cutting, fundamental principles that can be applied across problem specific boundaries and ensures that the research makes an impact on these specific infrastructure networks. This project will also incorporate concepts into existing undergraduate and graduate courses.
Off
Johns Hopkins University
-
National Science Foundation
Dennice Gayme Submitted by Dennice Gayme on March 31st, 2016
2016 Winter Simulation Conference December 11-14, 2016 | Washington, D.C. | http://www.wintersim.org/
Submitted by Anonymous on March 31st, 2016
This proposal addresses a multidisciplinary workshop with academic researchers, corporate technology providers, and agricultural producers to define research challenges and a research road-map to address the following major FEWS challenges: 1. Developing novel targeted remote sensing and in-situ sensing technology that can be practically fielded and used in food and water system management. 2. Developing novel integrated hydrology, soil, microclimate, and plant/agricultural production models that interact accurately and across traditional scales for understanding local, regional, and national impacts. 3. Turning this developing and pending FEWS data deluge into usable, actionable information for agricultural producers, local and regional decision makers, and citizens. The workshop addresses the emerging issues in the food/water/energy system throughout the diverse geography of United States and over various crops and environmental conditions to better understand and model, and ultimate devise a solution for the changes to the FEWS system. The solution must be multifaceted, multidisciplinary in order to incorporate sensing, hydrology, visual analytics, and the potential for increased climate change. The workshop will generate a report and other artifacts that will lead to research into solving these challenges and have an impact on scientific fields including, sensing technology, hydrology, soil science, climate, data fusion, analysis, visualization, and data driven decision making, as well as agricultural production, local and regional economies, sustainability and planning.
Off
Purdue University
-
National Science Foundation
Christian Butzke
Phillip Owens
Melba Crawford
Dimitrios Peroulis
Submitted by Anonymous on March 28th, 2016
13th International Conference on Informatics in Control, Automation and Robotics (ICINCO) In Cooperation with: AAAI, EUROMICRO, INNS, euRobotics AISBL, APCA and APNNA Co-Sponsored by: IFAC Sponsored by: INSTICC INSTICC is Member of: WfMC and FIPA Logistics Partner: SCITEVENTS
Submitted by Anonymous on March 25th, 2016
Event
CASES 2016
Compilers, Architecture and Synthesis of Embedded Systems Conference (CASES 2016) Part of Embedded Systems Week (ESWeek  is the premier event covering all aspects of embedded systems and software.) About CASES:
Submitted by Anonymous on March 25th, 2016
Event
ViPES 2016
4th Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES'2016) The 4th Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2016) will be held at Samos Island, Greece on July 17th, 2016. ViPES 2016 is co-located with the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). Virtual prototyping stands for the development of hardware/software systems without using a real hardware prototype, i.e.
Submitted by Anonymous on March 24th, 2016
Strategic decision-making for physical-world infrastructures is rapidly transitioning toward a pervasively cyber-enabled paradigm, in which human stakeholders and automation leverage the cyber-infrastructure at large (including on-line data sources, cloud computing, and handheld devices). This changing paradigm is leading to tight coupling of the cyber- infrastructure with multiple physical- world infrastructures, including air transportation and electric power systems. These management-coupled cyber- and physical- infrastructures (MCCPIs) are subject to complex threats from natural and sentient adversaries, which can enact complex propagative impacts across networked physical-, cyber-, and human elements. We propose here to develop a modeling framework and tool suite for threat assessment for MCCPIs. The proposed modeling framework for MCCPIs has three aspects: 1) a tractable moment-linear modeling paradigm for the hybrid, stochastic, and multi-layer dynamics of MCCPIs; 2) models for sentient and natural adversaries, that capture their measurement and actuation capabilities in the cyber- and physical- worlds, intelligence, and trust-level; and 3) formal definitions for information security and vulnerability. The attendant tool suite will provide situational awareness of the propagative impacts of threats. Specifically, three functionalities termed Target, Feature, and Defend will be developed, which exploit topological characteristics of an MCCPI to evaluate and mitigate threat impacts. We will then pursue analyses that tie special infrastructure-network features to security/vulnerability. As a central case study, the framework and tools will be used for threat assessment and risk analysis of strategic air traffic management. Three canonical types of threats will be addressed: environmental-to-physical threats, cyber-physical co-threats, and human-in-the-loop threats. This case study will include development and deployment of software decision aids for managing man-made disturbances to the air traffic system.
Off
Missouri University of Science and Technology
-
National Science Foundation
Submitted by Anonymous on March 17th, 2016

Smart grid includes two interdependent infrastructures: power transmission and distribution network, and the supporting telecommunications network. Complex interactions among these infrastructures lead to new pathways for attack and failure propagation that are currently not well understood. This innovative project takes a holistic multilevel approach to understand and characterize the interdependencies between these two infrastructures, and devise mechanisms to enhance their robustness. Specifically, the project has four goals. The first goal is to understand the standardized smart grid communications protocols in depth and examine mechanisms to harden them. This is essential since the current protocols are notoriously easy to attack. The second goal is to ensure robustness in state estimation techniques since they form the basis for much of the analysis of smart grid. In particular, the project shall exploit a steganography-based approach to detect bad data and compromised devices. The third goal is to explore trust-based attack detection strategies that combine the secure state estimation with power flow models and software attestation to detect and isolate compromised components. The final goal is to study reconfiguration strategies that combine light-weight prediction models, stochastic decision processes, intentional islanding, and game theory techniques to mitigate the spreading of failures and the loss of load. A unique aspect of smart grid security that will be studied in this project is the critical importance of timeliness, and thus a tradeoff between effectiveness of the mechanisms and the overhead introduced. The project is expected to provide practical techniques for making the smart grid more robust against failures and attacks, and enable it to recover from large scale failures with less loss of capacity. The project will also train students in the multidisciplinary areas of power systems operation and design, networking protocols, and cyber-physical security.

Off
Missouri Science and Technology
-
National Science Foundation
Mariesa Crow
Submitted by Anonymous on March 15th, 2016
Event
MORSE 2016
MORSE 2016 - Third Workshop on Model-Driven Robot Software Engineering MORSE'16 is co-located with the RoboCup 2016. RoboCup Date: June 30 - July 4 2016 Workshop Date: July 1, 2016 Location: Messe Leipzig, Leipzig, Germany Website: http://st.inf.tu-dresden.de/MORSE16
Submitted by Anonymous on March 11th, 2016
Event
SEAA 2016
42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016) Aug. 31st - Sept. 2nd, 2016 |  St. Raphael Resort, Limassol, Cyprus | http://seaa2016.cs.ucy.ac.cy Collocated with the 19th Euromicro Conference on Digital Systems Design (DSD 2016) SCOPE
Submitted by Anonymous on March 11th, 2016
Subscribe to Modeling