• DocumentCode
    2423965
  • 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
  • fYear
    2010
  • fDate
    Sept. 29 2010-Oct. 1 2010
  • Firstpage
    1714
  • Lastpage
    1721
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Communication, Control, and Computing (Allerton), 2010 48th Annual Allerton Conference on
  • Conference_Location
    Allerton, IL
  • Print_ISBN
    978-1-4244-8215-3
  • Type

    conf

  • DOI
    10.1109/ALLERTON.2010.5707123
  • Filename
    5707123
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2423965