Exceptional point (EP) is a spectral singularity in non-Hermitian systems. The passing over the EP leads to phase transition, which endows system with unconventional features that find wide range of applications. However, need using dissipation and amplification limits possible applications systems EP. In this work, we demonstrate an existence signature exceptional transition Hermitian are free...

In this paper we consider combining two techniques that have been effective in analyzing infinite-state systems: predicate abstraction and fixpoint approximations. Using a carefully crafted model of Airport Ground Network Control, we show that when predicate abstraction in a CEGAR loop fails to verify temporal logic properties of an infinite-state transition system, a combination of predicate a...