1st World Congress on Logic, Chance, and Money

Speaker: Carolyn Talcott, SRI International, Menlo Park, CA

There is growing interest in the concept of resilience and justifying resources spent on increasing resilience at the expense of efficiency. From a logical perspective we are interested in fomally representing key features of resilience, design principles supporting resilience, and methods to verify system resilience given a formal (in some logic) representation.

In this talk we will look at resilience in the context of a variety of systems: digital, natural, societal. We will identify some key concepts and discuss challenges in developing formal models, paying attention to which properties concern non-deterministic behaviors and which concern stochastic. We will briefly present two formalisms for modeling cyber physical systems, and associated model analysis methods such as checkable properties and complexity.