FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems

Authors: Kengo Kido, Sean Sedwards and Ichiro Hasuo

Paper Information

Title:Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems
Authors:Kengo Kido, Sean Sedwards and Ichiro Hasuo
Proceedings:ADHS Full papers
Editor: Alessandro Abate
Keywords:aaa, bbb, ccc
Abstract:

ABSTRACT. Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound for errors caused by switching delays. Our framework is based on approximate bisimulation, a notion that has been previously utilized mainly for symbolic (discrete) abstrac- tion of state spaces. Notable in our framework is that, in deriving an approximate bisimulation and thus an error bound, we use a simple incremental stability assumption (namely δ-GUAS) that does not itself refer to time delays. That this is the same assumption used for state-space discretization enables a two-step workflow for control synthesis for switched systems, in which a single Lyapunov-type stability certificate serves for two different purposes of state discretization and coping with time delays. We demonstrate the proposed framework with a boost DC-DC converter, a common example of switched systems.

Pages:6
Talk:Jul 12 16:10 (Session 79B: Switched systems 2)
Paper: