This presentation conceptualizes Model-Based Design of a cyber-physical system. Three stages of a system under design at various levels of detail are depicted. The designs are captured by models that have computational semantics based on the execution engine on a host platform. The implementation as generated code executes on a target platform. Because executable, the design can be explored, tested, and verified while at various levels of detail. This enables separation of concerns and so allows raising the level of abstraction in design.
Submitted by jmdermody on Fri, 06/10/2011 - 11:37am
Cyber-physical systems, such groups of unmanned aerial vehicles, are often monitored and controlled by networked control systems (NCS). NCS are deployed in many environments subject to realistic, complex network interactions, so evaluation of NCS is crucial to ensuring that NCS function as intended. Given the varied nature of NCS, it is appropriate to use a heterogenous simulation environment to capture the dynamics; however, the design and integration of heterogeneous simulation environments is a complex problem.
Submitted by jmdermody on Fri, 06/03/2011 - 2:46pm
The slides that were presented at the NSF Kickoff meeting on November 29, 2010. Contributors to the presentation include P. Antsaklis, V. Gupta, and B. Goodwine. Topics discussed within the presentation include Passivity & Dissipativity in Dynamical Systems, Event-Triggered Control, and Passivity Indices - Cascade.
