Developing design tools for uncertain systems in an industrial setting


We motivate the need for a cyber-physical system analysis and design tool that embraces uncertainty as key characteristic of these type of systems. We outline the features that such tool should provide and we present a prototype implementation. The challenges faced during its development go beyond the sheer complexity of analyzing large Markov Models. We close the paper with some examples of analysis of uncertain systems.

2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton)