In this paper, we present a new stability analysis of switched systems. We introduce the concepts of minimum/maximum holding time and redundancy as a tool for Lyapunov stability. ...
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...