Title :
Developing design tools for uncertain systems in an industrial setting
Author :
Pinto, Alessandro ; Krishnamurthy, Sudha
Author_Institution :
Syst. Dept., United Technol. Res. Center, Inc., Berkeley, CA, USA
fDate :
Sept. 29 2010-Oct. 1 2010
Abstract :
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.
Keywords :
Markov processes; control engineering computing; software tools; systems analysis; uncertain systems; Markov model; cyber-physical system analysis; design tool; industrial setting; uncertain system; Analytical models; Automata; Instruction sets; Markov processes; Protocols; Storage area networks;
Conference_Titel :
Communication, Control, and Computing (Allerton), 2010 48th Annual Allerton Conference on
Conference_Location :
Allerton, IL
Print_ISBN :
978-1-4244-8215-3
DOI :
10.1109/ALLERTON.2010.5707123
