Stem supervisori$ (all stems)

35 papers:

CASE-2015-MarkovskiH #framework #manycore #question #synthesis

Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? (JM, HH), pp. 521–525.

CASE-2015-SchafaschekQC #clustering #composition #scheduling #tool support

Local modular supervisory control applied to the scheduling of cluster tools (GS, MHdQ, JERC), pp. 1381–1388.

CASE-2015-ScottiPQC #composition #design

Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system (WAFS, NBP, MHdQ, JERC), pp. 807–812.

MoDELS-2015-SandenRGBJVS #composition #design #modelling

Modular model-based supervisory controller design for wafer logistics in lithography machines (BvdS, MAR, MG, TB, JJ, JV, RRHS), pp. 416–425.

CASE-2014-HuYLC #analysis #automation #modelling #multi #petri net

Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.

TACAS-2014-BeekFHHMMR #modelling

CIF 3: Model-Based Engineering of Supervisory Controllers (DAvB, WF, DH, AH, JM, JMvdMF, MAR), pp. 575–580.

CASE-2013-Markovski #analysis #synthesis

Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems (JM), pp. 1075–1082.

HCI-AMTE-2013-LoriteMTPP #design #interface

Supervisory Control Interface Design for Unmanned Aerial Vehicles through GEDIS-UAV (SL, AM, JT, PP, EP), pp. 231–240.

HCI-IMT-2013-FuchsFSG #adaptation #multi

Adaptive Consoles for Supervisory Control of Multiple Unmanned Aerial Vehicles (CF, SF, JBS, GMG), pp. 678–687.

SAC-2013-Markovski #communication #coordination #probability #process #reliability

Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.

CASE-2012-ShoaeiFL #abstraction #automaton #finite

Abstractions for nonblocking supervisory control of Extended Finite Automata (MRS, LF, BL), pp. 364–370.

CASE-2011-MiremadiLA #automaton #finite

BDD-based supervisory control on extended finite automata (SM, BL, KÅ), pp. 25–31.

CASE-2011-PinhaQC #scheduling

Optimal scheduling of a repair shipyard based on Supervisory Control Theory (DCP, MHdQ, JERC), pp. 39–44.

SAC-2010-FotoohiG #approach #behaviour #case study

A supervisory control approach for safe behavior of service robot case study: FRIEND (LF, AG), pp. 1305–1306.

CASE-2009-DSouzaGRS #realtime

Supervisory control for real-time systems based on conflict-tolerant controllers (DD, MG, SR, PS), pp. 555–560.

CASE-2008-TeixeiraL #development

Development of electronic controls for refrigerators based on the supervisory control theory (CAT, ABL), pp. 35–40.

CASE-2007-BasileGS #distributed #monitoring #petri net

Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.

CASE-2007-GreenKKS #automation #interface #prototype #testing #usability

Prototyping and Usability Testing of Supervisory Control Interfaces for Life Science Automation (RSG, SHK, DK, NS), pp. 646–651.

CASE-2007-HajiD #configuration management #petri net #project management

Petri Net based Supervisory Control Reconfiguration of Project Management Systems (MH, HD), pp. 460–465.

CASE-2007-ZhaoLZ #on the #petri net

On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.

HCI-AS-2007-IdoughiK #human-computer #towards #web #web service

Towards Web Services Oriented Unified Supervisory HCI (DI, CK), pp. 916–925.

CSMR-2006-GraafWD #architecture #migration #model transformation #using

Migrating Supervisory Control Architectures Using Model Transformations (BG, SW, AvD), pp. 153–164.

WICSA-2005-GraafWD #architecture #migration

Migration of Supervisory Machine Control Architectures (BG, SW, AvD), pp. 261–262.

CASE-2005-0001G #embedded

Embedded supervisory control of discrete-event systems (YY, PG), pp. 410–415.

CASE-2005-ChewL #multi #robust

Robust supervisory control for production systems with multiple resource failures (SFC, MAL), pp. 375–380.

ICEIS-v3-2003-YeZ #design #information management

Design and Realization of Power Plant Supervisory Information System (Sis) Based on Infi 90 (ZY, GZ), pp. 503–510.

CIAA-2001-Bochmann

Submodule Construction and Supervisory Control: A Generalization (GvB), pp. 27–39.

SAC-2000-SekiTTWS #distributed #network

Network Integrated Supervisory Control for Power Systems Based on Distributed Objects (TS, TT, TT, HW, TS), pp. 620–626.

HCI-EI-1999-WangL #approach

An Approach for the Complementary Model to Improve Supervisory System (CHW, TDL), pp. 641–645.

CAV-1995-AzizBBDS #finite #state machine

Supervisory Control of Finite State Machines (AA, FB, RKB, MDD, AS), pp. 279–292.

HCI-ACS-1993-HoonhoutZ #behaviour #industrial #process

Operator Behavior and Supervisory Control Systems in the Chemical Process Industry (HCMH, HJGZ), pp. 109–114.

CAV-1990-GolaszewskiK

Task-Driven Supervisory Control of Discrete Event Systems (CHG, RPK), pp. 282–291.

HCI-SES-1987-HartBCWM #simulation

Responses of Type A and Type B Individuals Performing a Supervisory Control Simulation (SGH, VB, MAC, MMW, MM), pp. 67–74.

SOSP-J-1973-Gaines72 #concept #operating system

An Operating System Based on the Concept of a Supervisory Computer (RSG), pp. 150–156.

SOSP-1971-Gaines #concept #operating system

An Operating System Based on the Concept of a Supervisory Computer (Abstract) (RSG), pp. 17–23.