Invariants as a unified knowledge model for Cyber-Physical Systems. - Tamal Paul; Jonathan W. Kimball; Maciej J. Zawodniok; Thomas P. Roth; Bruce M. McMillin (SOCA, 2011)

Stability of a cyber-physical smart grid system using cooperating invariants. - Ashish Choudhari; Harini Ramaprasad; Tamal Paul; Jonathan W. Kimball; Maciej J. Zawodniok; Bruce M. McMillin; Sriram Chellappan (ICCPS, 2013)

Markov jump linear system analysis of microgrid stability. - Md. Rasheduzzaman; Tamal Paul; Jonathan W. Kimball (ACC, 2014)

Unified Invariants for Cyber-Physical Switched System Stability. - Tamal Paul; Jonathan W. Kimball; Maciej J. Zawodniok; Thomas P. Roth; Bruce M. McMillin; Sriram Chellappan (IEEE Trans. Smart Grid, 2014)