EasyChair Smart SlideDocs/Log in
Author: Naijun Zhan

This page shows all presentations of this author published in EasyChair Smart Slide.

Switching Controller Synthesis for Delay Hybrid Systems Under Perturbations

Switching Controller Synthesis for Delay Hybrid Systems Under Perturbations

Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue and Naijun Zhan

NIL: Learning Nonlinear Interpolants

NIL: Learning Nonlinear Interpolants

Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur and Naijun Zhan

Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle and Bai Xue

Monitoring CTMCs By Multi-Clock Timed Automata

Monitoring CTMCs By Multi-Clock Timed Automata

Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia and Naijun Zhan

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair