Cyber Physical Systems (CPS) often have continuous components interconnected with systems described by discrete state space. Examples of such discrete components may be supervisory controllers or components implemented in software. To design large scale CPS in a compositional manner it would be useful to define a notion of passivity for these discrete components as well. As a first step towards...

Abstract Clinical supervision is widely considered to be an essential component in the translation of evidence-based treatment protocols into routine clinical practice. Experts field have produced guidance on structuring CBT supervision, yet previous surveys everyday practices consistently found that supervisors and supervisees appear drift from these recommendations. Surprisingly, little has b...