Abstract Supervisory controller synthesis is a means to compute correct-by-construction controllers for discrete event systems. As these systems and their requirements evolve over time, an updated supervisor needs be computed each time adaptation takes place. We consider the case that has been synthesized given model, after which this model (slightly) adapted. investigate how we can make use of...

Supervisor localization procedure can be employed to construct local controllers corresponding to component agents in discrete-event systems. This proposed method in [11] is based on state reduction of a monolithic supervisor with respect to each set of controllable events corresponding to each component agent. A supervisor is localizable if state cardinality can be reduced from the reduced sup...

The contributions of this thesis are in the two main areas of the estimation and optimization of the software for embedded systems.

ADAS are being developed with many goals: communications, road mark detection, road sign recognition or pedestrian detection. The work presented here is a system that communicates with a GPS, obtains speed data and uses this information in a Real Time Computer Vision System that detects and recognizes road signs, warning the driver in the case of excessive speed when the recognized road sign is...

Existing studies on writing for publication have focused doctoral students and junior scholars, leaving those non-native English-speaking (NNES) Master’s understudied. This article presents a case study of the challenges coping strategies shared by six purposively selected NNES students, who each successfully published in an international academic journal with their supervisor. Semi-structured ...

Employee’s commitment is an important work attitude for organization. Supervisors can play a role in increasing it by conducting downward influence tactics. This study examines the relationship between employee competency and tactics (consultation, ingratiation, exchange tactics), these employee’s to supervisor organization, mediating effect of on commitment. Data were collected from 203 non-ma...