A process-theoretic state-based framework for live supervision

J. Markovski

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)

    Abstract

    We propose a model-based systems engineering framework that couples supervisory control and verification. The framework has a process-theoretic backbone, which supports all required concepts, and it is implemented using state-of-the-art tools: Supremica for supervisor synthesis and UPPAAL for state-based verification. The process theory relies on partial bisimulation to model controllability and propositional signal emission to model a supervisory control loop with state-based observations. Supremica can model the signal observation by employing finite integer variables and action guards, whereas the supervised system can be consistently translated to UPPAAL by using a translation tool we developed. We illustrate the framework by revisiting an industrial case study of coordinating maintenance procedures of a high-tech Océ printer.
    Original languageEnglish
    Title of host publicationProceedings of the 2012 IEEE International Conference on Automation Science and Engineering (CASE), August 20-24, 2012, Seoul, Korea
    Place of PublicationPiscataway
    PublisherInstitute of Electrical and Electronics Engineers
    Pages676-681
    ISBN (Print)978-1-4673-0429-0
    DOIs
    Publication statusPublished - 2012
    Event2012 IEEE International Conference on Automation Science and Engineering (CASE 2012), August 20-24, 2012, Seoul. Korea (South) - Seoul, Korea, Republic of
    Duration: 20 Aug 201224 Aug 2012
    http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=16962

    Conference

    Conference2012 IEEE International Conference on Automation Science and Engineering (CASE 2012), August 20-24, 2012, Seoul. Korea (South)
    CountryKorea, Republic of
    CitySeoul
    Period20/08/1224/08/12
    OtherCASE 2012
    Internet address

    Fingerprint Dive into the research topics of 'A process-theoretic state-based framework for live supervision'. Together they form a unique fingerprint.

  • Cite this

    Markovski, J. (2012). A process-theoretic state-based framework for live supervision. In Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering (CASE), August 20-24, 2012, Seoul, Korea (pp. 676-681). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/CoASE.2012.6386335