The formalization of system engineering models and approaches.
Event
MODELS 2011
The conference  covers all aspects of model-based development for software and systems engineering, including modeling languages, methods, tools, and their applications.
Janos Sztipanovits Submitted by Janos Sztipanovits on April 16th, 2012
The CPS topic in DATE includes high-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction refinement techniques for control software and systems; simulation and testing; architectures; modeling techniques; architecture-aware controller synthesis; model-based approaches to cyber-physical systems design; reliability-aware design and fault- tolerance; certification issues; specification languages and programming support; case studi
Janos Sztipanovits Submitted by Janos Sztipanovits on April 16th, 2012
The goal of the Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) workshop is to explore architecture design patterns, tools and the theoretical analytical foundations for creating common system-wide composition models where key properties can be studied and guarantees provided before the start of actual development. Of particular interest are the case studies on the challenges of expressing the properties of the final product in terms of component properties and the architecture that governs their interactions. Both solutions and/or open problems are welcome.
Janos Sztipanovits Submitted by Janos Sztipanovits on April 16th, 2012
This session focuses on methods and design tools for the exploration, analysis, simulation, selection, synthesis, and optimization of E/E automotive architectures (e.g., software, hardware, communication, wiring harness, and power architectures). These methods and tools apply to technologies such as multi-core processors, distributed systems, AUTOSAR, Flexray, CAN, Ethernet, and DSRC among others. The methods and tools are usually (but not limited to) model-based.
Submitted by Anonymous on April 16th, 2012
The second edition of IM-CPS will bring together researchers from academia and industry with expertise relevant to cyber-physical systems. IM-CPS is a forum that facilitates the interactions between various disciplines like applied mathematics, computer science, control theories and other branches of engineering. Promoting inter-disciplinary research is a major objective of IM-CPS. Some priority topics include aerospace applications and air traffic control, embedded electronics, energy systems, symbolic verification, stochastic modelling and uncertainty understanding.
Janos Sztipanovits Submitted by Janos Sztipanovits on April 16th, 2012
Event
MobiCPS 2010
MobiCPS 2010 - The 1st IEEE International Workshop on Mobile Cyber-Physical Systems The MobiCPS workshop is an international forum for researchers and practitioners to present innovative ideas and results on all aspects of mobile cyber-physical systems, including theoretical foundations, techniques and methods, tools and platforms, prototypes, and practical applications. Besides research papers, this workshop will feature Invited Talks and a Panel Discussion session.  
Submitted by Anonymous on April 16th, 2012
Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes. However, due to the sheer size, scale and cost of most civil engineering structures, design and testing of such smart structures needs to be conducted using a hybrid cyber-physical approach where the infrastructure system in question, for example a bridge, is studied by coupling a small number of physical components with a numerical model of the rest of the structure. Undoubtedly, the success of such a hybrid approach, especially for dynamic real-time applications, hinges on effective integration of the cyber and physical components of the system. This project provides the essential building blocks and a computational integration platform to enable real-time hybrid testing of civil engineering structures. Design and development of physical components, multi-level numerical models, and real-time control algorithms will be conducted at Purdue University. Washington University will provide an adaptive, configurable concurrency platform and communication mechanisms that meet the strict scheduling constraints of real-time cyber-physical systems. The two institutions will collaboratively design a prototype system and conduct extensive testing to validate the integration of the various components and evaluate system performance. Specifications, software, benchmarks, and data developed during the course of this project will be made freely available to the cyber-physical research community. In addition to directly advancing the state-of-the-art in real-time hybrid testing, this research will also impact the areas of avionics, automotive design, smart grids for distributed power transmission and similar applications in other domains.
Off
Shirley Dyke
Purdue University
Arun Prakash
-
National Science Foundation
Arun Prakash
Arun  Prakash Submitted by Arun Prakash on December 15th, 2011
Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes. However, due to the sheer size, scale and cost of most civil engineering structures, design and testing of such smart structures needs to be conducted using a hybrid cyber-physical approach where the infrastructure system in question, for example a bridge, is studied by coupling a small number of physical components with a numerical model of the rest of the structure. Undoubtedly, the success of such a hybrid approach, especially for dynamic real-time applications, hinges on effective integration of the cyber and physical components of the system. This project provides the essential building blocks and a computational integration platform to enable real-time hybrid testing of civil engineering structures. Design and development of physical components, multi-level numerical models, and real-time control algorithms will be conducted at Purdue University. Washington University will provide an adaptive, configurable concurrency platform and communication mechanisms that meet the strict scheduling constraints of real-time cyber-physical systems. The two institutions will collaboratively design a prototype system and conduct extensive testing to validate the integration of the various components and evaluate system performance. Specifications, software, benchmarks, and data developed during the course of this project will be made freely available to the cyber-physical research community. In addition to directly advancing the state-of-the-art in real-time hybrid testing, this research will also impact the areas of avionics, automotive design, smart grids for distributed power transmission and similar applications in other domains.
Off
Chenyang Lu
Kunal Agrawal
Washington University
Christopher Gill
-
National Science Foundation
Christopher Gill
Christopher Gill Submitted by Christopher Gill on December 15th, 2011
This project will construct a wireless network of animal-borne embedded devices that will be deployed and tested in a biologically-relevant application. The networked devices will provide not only geo-location data, but also execute cooperative strategies that save battery-life by selectively recording bandwidth-intensive audio and high-definition video footage of occurrences of animal group behavior of interest, such as predation. This project comprises three concurrent and interdependent research themes. The first is the investigation of methods to design and analyze the performance of distributed algorithms that implement autonomous decisions at the mobile agents, subject to communication and computational constraints. The second will pursue data-driven fundamental research on the modeling of animal group motion and will promote a formal understanding of the mechanisms of social interaction. The third is centered on the investigation of methods for hardware integration to build distributed networks of embedded devices that are capable of executing the newly developed algorithms, subject to power and weight constraints. The results and experience gained in this project will guide the development of effective autonomous systems for the monitoring and protection of endangered species. This project will create undergraduate and graduate research opportunities at all participating institutions, expanding on an existing collaboration between the University of Maryland, Princeton University, and the National Geographic Society. There is the potential for using wide-reaching media resources to disseminate the results of this project to a broad audience. This may contribute to attracting more students to engineering and science.
Off
Princeton University
Naomi Leonard
-
National Science Foundation
Leonard, Naomi
Naomi Leonard Submitted by Naomi Leonard on December 6th, 2011
This project will construct a wireless network of animal-borne embedded devices that will be deployed and tested in a biologically-relevant application. The networked devices will provide not only geo-location data, but also execute cooperative strategies that save battery-life by selectively recording bandwidth-intensive audio and high-definition video footage of occurrences of animal group behavior of interest, such as predation. This project comprises three concurrent and interdependent research themes. The first is the investigation of methods to design and analyze the performance of distributed algorithms that implement autonomous decisions at the mobile agents, subject to communication and computational constraints. The second will pursue data-driven fundamental research on the modeling of animal group motion and will promote a formal understanding of the mechanisms of social interaction. The third is centered on the investigation of methods for hardware integration to build distributed networks of embedded devices that are capable of executing the newly developed algorithms, subject to power and weight constraints. The results and experience gained in this project will guide the development of effective autonomous systems for the monitoring and protection of endangered species. This project will create undergraduate and graduate research opportunities at all participating institutions, expanding on an existing collaboration between the University of Maryland, Princeton University, and the National Geographic Society. There is the potential for using wide-reaching media resources to disseminate the results of this project to a broad audience. This may contribute to attracting more students to engineering and science.
Off
National Geographic Society
Kyler Abernathy
-
National Science Foundation
Marshall, Greg
Submitted by Kyler Abernathy on December 6th, 2011
Subscribe to Modeling
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.