BEGIN:VCALENDAR
VERSION:2.0 
PRODID:-/-/EN
BEGIN:VEVENT
SUMMARY:Ireland Local Section: Verification of Dynamical Systems
UID:347
DESCRIPTION:\n\n \n\nTECHNICAL EVENT\nVerification of Dynamical Systems: Behavioural assurance problems systems and control\n\nDr Vassilios Tsachouridis, Collins Aerospace, Applied Research & Technology, Ireland\n\nAbstract\nThis technical presentation will address some verification problems in dynamical systems and algorithms. It will be explained, how it is possible to combine Numerical analysis, dynamical systems theory, and interval analysis, to obtain exhaustive coverages of system models dynamic response under the presence of system variation and uncertainty. Consequently, behavioural dynamic assurance and stability guarantees can be rigorously assessed for a big class of systems and control models. This can benefit designs that must align with certification standards and improve trustworthiness. For example, the computational reliability and convergence of real-time algorithms and/or system optimisers must be included as necessary requirements when defining Verification and Validation (V&V) plans for real-time adaptive controllers. These V&V stages must occur before code development, according to standard work recommendations. Thinking alike, the learning stability of an “intelligent” system estimator must be assured on the design phase before any certification of the corresponding system-embed code. The above concepts will be illustrated using theoretical examples in control system design and machine learning.\n\n24 May 2023 – 18:30pm\nRegister by emailing: ireland@instmc.org before 22 May 2023 for this MS Teams event.\n\n
DTSTART:20230524T173000Z
DTEND:20230524T190000Z
LOCATION:Online
END:VEVENT
END:VCALENDAR