Artists Cursorama and Non-Linear are coding new worlds with pixelated oceans, bionic flowers and otherworldly beings ...

Abstract: In this paper, we address the safety verification problem of switched linear dynamical systems under arbitrary switching via barrier functions. Our approach is based on a notion of ...

Abstract: Active Noise Control (ANC) is an effective technique for removing undesirable disturbances based on destructive interference between two noises (i.e., the superposition principle). To reduce ...