Varela is Professor of Computer Science and Founding Director of the Worldwide Computing Laboratory at Rensselaer Polytechnic Institute. We will discuss a theorem-proving approach to verifying concurrent and distributed systems and the notion of correctness envelopes to capture stochastics of DDDAS enabling a modular reusable approach to the verification of their statistical properties.ĭr. Resulting dynamic data-driven applications and systems (DDDAS) can outperform static pure model-based CPS approaches, yet their verification is even more challenging due to the inherent feedback loop adjusting physics-based models to sensor data. Since models of the physical world are incomplete, data from sensors can be used to reduce uncertainties. Model checking techniques suffer from CPS’s large state space and inherent stochastic behavior, e.g., from unknown wind and weather conditions. Verification of CPS requires a modular principled approach. O Seminário será na sala 511 do RDC, com transmissão ao vivo via Youtube pelo canal do DI, através do link: Ĭyber-physical systems (CPS) are concurrent, often distributed, and contain hardware and software components that interact with the real world, e.g., avionics in flight systems. Dia 14/04, às 15h, acontecerá o seminário “ Verification of Cyber-Physical Distributed Systems”, proferido pelo Prof.
0 Comments
Leave a Reply. |