Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems (NASA Formal Methods 2023 - NFM 2023) - NASA Formal Methods 2023

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Who

Elias Khalife, Pierre-Loic Garoche, Mazen Farhood

Track

NASA Formal Methods 2023 NFM

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 16 May 2023 11:20 - 11:45 - Control and Hybrid Systems Chair(s): Julia Badger

Elias Khalife

Virginia Tech

United States

Pierre-Loic Garoche

Ecole Nationale de l'Aviation Civile

France

Mazen Farhood

Virginia Tech

United States

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Tue 16 May
Displayed time zone: Central Time (US & Canada) change

	10:30 - 12:10	Control and Hybrid SystemsNFM 2023 Chair(s): Julia Badger NASA

	10:30 25m Talk		Conservative Safety Monitors of Stochastic Dynamical Systems NFM 2023 Matthew Cleaveland University of Pennsylvania, Ivan Ruchkin University of Florida, Oleg Sokolsky University of Pennsylvania, USA, Insup Lee University of Pennsylvania
	10:55 25m Talk		Reasoning with Metric Temporal Logic and Resettable Skewed Clocks NFM 2023 Alberto Bombardelli FBK, Stefano Tonetta Fondazione Bruno Kessler, Italy
	11:20 25m Talk		Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems NFM 2023 Elias Khalife Virginia Tech, Pierre-Loic Garoche Ecole Nationale de l'Aviation Civile, Mazen Farhood Virginia Tech
	11:45 25m Talk		Reward Shaping from Hybrid Systems Models in Reinforcement Learning NFM 2023 Marian Qian Carnegie Mellon University, Stefan Mitsch Carnegie Mellon University, USA