Graphical Composite Modeling and Simulation for Multi-aircraft Collision Avoidance (MODELS 2021 - Technical Papers) - MODELS 2021

Write a Blog >>

Sun 10 - Sat 16 October 2021

Who

Feng Zhu, Jun Tang

Track

MODELS 2021 Technical Papers

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Wed 13 Oct 2021 10:40 - 11:00 at Room 1 - Certification and Assurance I Chair(s): Tao Yue

Feng Zhu

Jun Tang

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Wed 13 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

	10:00 - 11:00	Certification and Assurance ITechnical Papers at Room 1 Chair(s): Tao Yue Simula Research Laboratory

	10:00 20m Full-paper		A Lean Approach to Building Valid Model-Based Safety ArgumentsFT Technical Papers Torin Viger , Logan Murphy , Alessio Di Sandro , Ramy Shahin University of Toronto, Marsha Chechik University of Toronto
	10:20 20m Full-paper		MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous SystemsFT Technical Papers Michael Langford , Kenneth Chan , Jonathon Fleck , Philip McKinley , Betty H.C. Cheng Michigan State University
	10:40 20m Talk		Graphical Composite Modeling and Simulation for Multi-aircraft Collision AvoidanceJ1ST Technical Papers Feng Zhu , Jun Tang