Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels (Internetware 2024 - Research Track) - Internetware 2024

Wed 24 - Fri 26 July 2024 Macau, China

Who

Dong Yang, Hao Shi, Wei Dong, Yanqi Dong, Yong Zhang

Track

Internetware 2024 Research Track

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Thu 25 Jul 2024 10:30 - 10:45 at Main Conference Room - Session 5: Software Modeling and Development Chair(s): Jingxuan Zhang

Dong Yang

Hao Shi

Wei Dong

National University of Defense Technology

China

Yanqi Dong

Yong Zhang

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Thu 25 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	10:00 - 11:00	Session 5: Software Modeling and DevelopmentResearch Track at Main Conference Room Chair(s): Jingxuan Zhang Nanjing University of Aeronautics and Astronautics

	10:00 15m Full-paper		A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicle Swarm Research Track Yunwei Dong Northwestern Polytechnical University, School of Computer Science and Engineering, Zeshan Li , Ruiheng Zhang , Rubing Huang Macau University of Science and Technology (M.U.S.T.), Tao Wang
	10:15 15m Full-paper		DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL Research Track Jie Hu , Yaozhong Zhang , Xiujuan Qin , Lvlun Wei , Fangwe Chen , Shmuel Tyszberowicz The Academic College of Tel-Aviv Yaffo, Mingyue Zhang Southwest University, Bo Liu Southwest University
	10:30 15m Full-paper		Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels Research Track Dong Yang , Hao Shi , Wei Dong National University of Defense Technology, Yanqi Dong , Yong Zhang
	10:45 15m Full-paper		CLUE: Customizing clustering techniques using machine learning for software modularization Research Track Fanyi Meng , Ying Wang Northeastern University, Chun Yong Chong Monash University Malaysia, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China