EasyChair Smart SlideHelp/Log in
Author: Bican Xia

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

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: 2
Copyright © 2002 – 2021 EasyChair