Search results for "supervisors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
46	Amin Mannani, Peyman Gohari	A framework for modeling communication among decentralized supervisors for discrete-event systems.	SMC	2007	DBLP DOI BibTeX RDF
46	ZhiWu Li 0001, MengChu Zhou	Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
46	Spyros A. Reveliotis, Jin Young Choi 0001	Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.	ICATPN	2006	DBLP DOI BibTeX RDF
46	Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune	New Results on Testing Modularity of Local Supervisors using Abstractions.	ETFA	2006	DBLP DOI BibTeX RDF
46	Liming Liang 0001, Junwan Liu, Ronald Rousseau 0001	Name order patterns of graduate candidates and supervisors in Chinese publications: A case study of three major Chinese universities.	Scientometrics	2004	DBLP DOI BibTeX RDF
46	David S. Rosenblum, David C. Luckham	Testing the Correctness of Tasking Supervisors with TSL Specifications.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	Ada
39	Tabatha Verbick, Scott Shields, Kim Todd	Strategic guidance: blazing a path to student employee excellence in leadership.	SIGUCCS	2008	DBLP DOI BibTeX RDF	employee retention, employee training, interdepartmental collaboration, leadership skills, communication, management, professional development, supervision, empowerment, job satisfaction, student employees
39	Chengjia Li, Yifan Cai, Xiaodong Sun	Supervisor Existence for Product Composition of Discrete Event Systems.	FSKD (1)	2007	DBLP DOI BibTeX RDF
39	Kim Todd, Tabatha Verbick	Baiting the hook: catching and keeping quality student employees through professional development and non-numeric incentives.	SIGUCCS	2005	DBLP DOI BibTeX RDF	employee recruitment, employee retention, employee training, professional development, empowerment, job satisfaction, student employees
39	Daniel B. Delgado	Automation & delegation to reduce lab management workload.	SIGUCCS	2005	DBLP DOI BibTeX RDF	CIRCA labs, University of Florida, technology consultants, training, software systems, instant messenger
39	Tae-Sic Yoo, Stéphane Lafortune	A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	supervisor synthesis, computational complexity, supervisory control, decision fusion, decentralized architectures
39	Marian V. Iordache, Panos J. Antsaklis	Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
39	Christian H. Golaszewski, Robert P. Kurshan	Task-Driven Supervisory Control of Discrete Event Systems.	CAV	1990	DBLP DOI BibTeX RDF
38	Kevin X. He, Michael D. Lemmon	On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors.	CDC	2000	DBLP DOI BibTeX RDF
32	Rong Su 0001, Jan H. van Schuppen, Jacobus E. Rooda	Synthesizing nonblocking distributed supervisors based on automaton abstraction.	CDC	2008	DBLP DOI BibTeX RDF
32	Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson	Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Controllability, Synthesis, Discrete event systems, Supervisory control, Model reduction, Finite state automata, Nonblocking
32	Z. W. Li, H. S. Hu, An R. Wang	Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
32	Shigemasa Takai, Toshimitsu Ushio	A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Timed discrete event system, Forcible event, Supervisory control, Partial observation
32	Ugo A. Buy, Mihai Lehene, Houshang Darabi	Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.	SEW	2005	DBLP DOI BibTeX RDF
32	Kunihiko Hiraishi	Synthesis of Supervisors Using Learning Algorithm of Regular Languages.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	supervisor synthesis, incompletely specified finite-state machines, learning algorithm, concurrent systems, supervisory control
28	Jim Osborn	Supervising students in satellite locations: overlords need minions!	SIGUCCS	2005	DBLP DOI BibTeX RDF	continued training, student supervisors, tiered support, tracking, efficiency, accountability, supervision, student employees
28	B. Olsson, Mikael Berndtsson, Björn Lundell, Jörgen Hansson	Running research-oriented final year projects for CS and IS students.	SIGCSE	2003	DBLP DOI BibTeX RDF	final year projects, research in undergraduate projects, process, examiners, supervisors
28	Michael D. Schroeder, David D. Clark, Jerome H. Saltzer	The Multics Kernel Design Project.	SOSP	1977	DBLP DOI BibTeX RDF	Multics, Type extension, Verifiable systems, MULTICS, Security, Operating systems, Protection, Security kernel, Supervisors
28	Howard L. Morgan	An interrupt based organization for management information systems.	Commun. ACM	1970	DBLP DOI BibTeX RDF	integrated data processing supervisors, interrupt scheduling, supervisory systems, parallel processing, interrupts, management information systems, monitoring systems
28	Daniel J. Lasser	Productivity of multiprogrammed computers-progress in developing an analytic prediction method.	Commun. ACM	1969	DBLP DOI BibTeX RDF	equipment evaluation, simulation, performance, evaluation, prediction, monitor, operating system, productivity, hardware, multiprogramming, time sharing, system software, supervisors, time slicing
26	Shengyong Wang, Song Foh Chew, Mark A. Lawley	Using Shared-Resource Capacity for Robust Control of Failure-Prone Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
26	Petra Malik, Robi Malik, David Streader, Steve Reeves	Modular Synthesis of Discrete Controllers.	ICECCS	2007	DBLP DOI BibTeX RDF
26	Kuei-Ping Shih, Sheng-Shih Wang, Hsieh-Wei Lin	A Passive Self-Configuration MAC Protocol for IEEE 802.11-Based Multi-Hop MANETs.	SUTC (2)	2006	DBLP DOI BibTeX RDF
26	Nissim Sabag, Elena Trotskovsky, Pinchas Schechner	Internship as an Obligatory Requirement for the Degree of B.Sc. in Electronic and Electrical Engineering.	ITRE	2006	DBLP DOI BibTeX RDF
26	David G. Mathisen, Robert W. Carey	Orchestrating shots for the national ignition racility.	SIGAda	2005	DBLP DOI BibTeX RDF	java, XML, architecture, concurrency, workflow, framework, CORBA, multi-threaded, state machine, model-based, data driven, Ada95
26	Zhiwu Li 0001, Weixian Cao, Anrong Wang	Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems.	ICARCV	2004	DBLP DOI BibTeX RDF
26	Steve Drew, Phil Sheridan, Sven Venema	Collaborative Supervision of Machine Learning as a Tool for Web-Based Education: A Teaching and Learning Triangle.	ICWL	2003	DBLP DOI BibTeX RDF	Machine learning, Distance education, Web-based education
26	Barb Coleman	ITS professional development: refine, reward, retain.	SIGUCCS	2001	DBLP DOI BibTeX RDF
26	Louise E. Moses, Sally Fincher, James Caristi	Teams work (panel session).	SIGCSE	2000	DBLP DOI BibTeX RDF
26	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
26	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
26	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
26	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
26	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
26	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
26	James F. Towsen	Why Managers Fail(Presentation Abstract).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	ACM
19	Murat Uzam, Zhiwu Li 0001, Mohammed A. El-Meligy, Mohamed Abdel Fattah Sharaf, Qiwei Tang	Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs.	IEEE Access	2024	DBLP DOI BibTeX RDF
19	Ruochen Tai, Liyong Lin, Rong Su 0001	On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
19	Michael Weiss 0004, Paolo Tonella	Adopting Two Supervisors for Efficient Use of Large-Scale Remote Deep Neural Networks.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
19	Michael Weiss 0004, Paolo Tonella	Adopting Two Supervisors for Efficient Use of Large-Scale Remote Deep Neural Networks - RCR Report.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
19	Matshidiso Joyce Taole	Teaching Practice Supervisors' Experiences of Being Involved in Mobile App Development at an ODe-L Institution.	Int. J. Online Pedagog. Course Des.	2023	DBLP DOI BibTeX RDF
19	Junjun Yang, Kaige Tan, Lei Feng 0002, Zhiwu Li 0001	A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
19	Jinglun Li, Shigemasa Takai	Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
19	Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su 0001	Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
19	Rong Su 0001	On decidability of existence of nonblocking supervisors resilient to smart sensor attacks.	Autom.	2023	DBLP DOI BibTeX RDF
19	Michael Weiss 0004, Paolo Tonella	Adopting Two Supervisors for Efficient Use of Large-Scale Remote Deep Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
19	Daniel Jörgens, Pierre-Marc Jodoin, Maxime Descoteaux, Rodrigo Moreno	Merging multiple input descriptors and supervisors in a deep neural network for tractogram filtering.	CoRR	2023	DBLP DOI BibTeX RDF
19	Gaurav Datta, Ryan Hoque, Anrui Gu, Eugen Solowjow, Ken Goldberg	IIFL: Implicit Interactive Fleet Learning from Heterogeneous Human Supervisors.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tiehua Zhang, Rui Xu, Jianping Zhang, Yuzhe Tian, Xin Chen, Xiaowei Huang, Jun Yin, Xi Zheng 0001	DSHGT: Dual-Supervisors Heterogeneous Graph Transformer - A pioneer study of using heterogeneous graph learning for detecting software vulnerabilities.	CoRR	2023	DBLP DOI BibTeX RDF
19	Ruochen Tai, Liyong Lin, Rong Su 0001	On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers.	CoRR	2023	DBLP DOI BibTeX RDF
19	Mogamat Noor Davids, Micheal M. van Wyk, Zingiswa Mybert Jojo, Matshidiso Joyce Taole, Mantsose Sethusha, Karel Prins	The Feasibility of Digitalizing Teaching Practice Through Mobile App Development: Supervisors' Reactions.	Int. J. Inf. Commun. Technol. Educ.	2023	DBLP DOI BibTeX RDF
19	Yufeng Chen 0001, Lei Pan, Zhiwu Li 0001	Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets.	IEEE Trans Autom. Sci. Eng.	2023	DBLP DOI BibTeX RDF
19	Chee Ling Thong, Wei-Lee Lim, Shayla Islam	Perception of Co-supervisors in Doctoral Education Towards Mobile Information Systems for Higher Education in Malaysia.	HCI (42)	2023	DBLP DOI BibTeX RDF
19	Md Sanaul Haque, Daire O'Broin, S. M. Musfequr Rahman, Sadiqur Rahaman, Joseph Kehoe	Does peer-review feedback promote interpersonal relationships among Ph.D. students and supervisors? A self-determination theory perspective.	BCSS@PERSUASIVE	2023	DBLP BibTeX RDF
19	Gaurav Datta, Ryan Hoque, Anrui Gu, Eugen Solowjow, Ken Goldberg	IIFL: Implicit Interactive Fleet Learning from Heterogeneous Human Supervisors.	CoRL	2023	DBLP BibTeX RDF
19	Tomer Elbaum, Assaf Botzer, Ishai Nir, Yoram Braw, Michal Shisha, Shraga Shoval	Driving events of professional drivers with ADHD that are monitored by their supervisors.	ECCE	2023	DBLP DOI BibTeX RDF
19	Dimitrios G. Fragkoulis, Fotis N. Koumboulis, Nikolaos D. Kouvakas, Antonis N. Menexis	Supervisors for Gas Compressor Stations with Compression and Valve Faults.	SEEDA-CECNSM	2023	DBLP DOI BibTeX RDF
19	Yixin Peng	Research on the Influence of Feeling Trusted by Supervisors on Employees' Job Burnout.	MISNC	2023	DBLP DOI BibTeX RDF
19	Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie	Using Subobservers to Synthesize Opacity-Enforcing Supervisors.	Discret. Event Dyn. Syst.	2022	DBLP DOI BibTeX RDF
19	Liyong Lin, Ruochen Tai, Yuting Zhu, Rong Su 0001	Observation-assisted heuristic synthesis of covert attackers against unknown supervisors.	Discret. Event Dyn. Syst.	2022	DBLP DOI BibTeX RDF
19	Chengzong Li, Yongyao Li, Yufeng Chen 0001, Naiqi Wu, Zhiwu Li 0001, Pengyu Ma, Husam Kaid	Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems.	Comput. Informatics	2022	DBLP DOI BibTeX RDF
19	Akiko Hashiguchi, Hiroka Hamada, Satoru Takahashi, Keisuke Honda	Impact of supervisors' research style on young biomedical scientists' capacity development as measured by REDi, a novel index of crossdisciplinarity.	Frontiers Res. Metrics Anal.	2022	DBLP DOI BibTeX RDF
19	Gul Afshan, Umar Farooq Sahibzada, Hira Rani, Yasir Hayat Mughal, Ghulam Muhammad Kundi	Supervisors' knowledge hiding and knowledge-based trust: from the lens of social impact theory.	Aslib J. Inf. Manag.	2022	DBLP DOI BibTeX RDF
19	Yifan Xie, Xiang Yin 0003, Shaoyuan Li	Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
19	Rômulo Meira-Góes, Jack Weitze, Stéphane Lafortune	A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
19	Jinglun Li, Shigemasa Takai	Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems.	Autom.	2022	DBLP DOI BibTeX RDF
19	Ziyue Ma, Zhou He 0001, Zhiwu Li 0001, Alessandro Giua	Design of supervisors for linear marking specifications in labeled Petri nets.	Autom.	2022	DBLP DOI BibTeX RDF
19	Mario Gleirscher, Lukas Plecher, Jan Peleska 0001	Sound Development of Safety Supervisors.	CoRR	2022	DBLP DOI BibTeX RDF
19	Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su 0001	Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations.	CoRR	2022	DBLP DOI BibTeX RDF
19	Yewei Ouyang, Xiaowei Luo	Differences between inexperienced and experienced safety supervisors in identifying construction hazards: Seeking insights for training the inexperienced.	Adv. Eng. Informatics	2022	DBLP DOI BibTeX RDF
19	Richard Hugh Moulton, Stephen H. Scott, Karen Rudie	Synthesizing Supervisors with a Minimum Control Base for Discrete-Event Systems.	ACC	2022	DBLP DOI BibTeX RDF
19	Rong Su 0001	About Existence of Resilient Supervisors against Smart Sensor Attacks.	CDC	2022	DBLP DOI BibTeX RDF
19	Joshua Y. Kim, Tongliang Liu, Kalina Yacef	Improving Supervised Learning in Conversational Analysis through Reusing Preprocessing Data as Auxiliary Supervisors.	ICMI Companion	2022	DBLP DOI BibTeX RDF
19	Lalu Prasad Lenka, Mélanie Bouroche	Safe Lane-Changing in CAVs Using External Safety Supervisors: A Review.	AICS	2022	DBLP DOI BibTeX RDF
19	Chengzong Li, Yufeng Chen 0001, Zhiwu Li 0001, Li Yin	Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications*.	CASE	2022	DBLP DOI BibTeX RDF
19	Yao Lu, Yufeng Chen 0001, Li Yin, Zhiwu Li 0001	Optimal Transition-based Supervisors Design for Flexible Manufacturing Systems.	ICNSC	2022	DBLP DOI BibTeX RDF
19	Zhiyuan Ge, Fei Wang, Rui Hua	Interdisciplinary Attribute Evaluation Of Postgraduate Supervisors In Beijing University of Technology.	AISS	2022	DBLP DOI BibTeX RDF
19	Jaime A. Teixeira da Silva	Multiple co-first authors, co-corresponding authors and co-supervisors: a synthesis of shared authorship credit.	Online Inf. Rev.	2021	DBLP DOI BibTeX RDF
19	Kohei Shimatani, Shigemasa Takai	Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2021	DBLP BibTeX RDF
19	Ting Jiao, Ru Chang, Xueli Nan	On the invariance property of reduced supervisors from the perspective of vector discrete-event systems.	Int. J. Control	2021	DBLP DOI BibTeX RDF
19	Shigemasa Takai	Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
19	Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand	Synthesis of Supervisors Robust Against Sensor Deception Attacks.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
19	Mario Gleirscher, Jan Peleska 0001	Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems.	FMAS	2021	DBLP DOI BibTeX RDF
19	Yifan Xie, Xiang Yin 0003, Shaoyuan Li	Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications.	CoRR	2021	DBLP BibTeX RDF
19	Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie	Using Subobservers to Synthesize Opacity-Enforcing Supervisors.	CoRR	2021	DBLP BibTeX RDF
19	Joshua Yee Kim, Tongliang Liu, Kalina Yacef	Transfer Learning in Conversational Analysis through Reusing Preprocessing Data as Supervisors.	CoRR	2021	DBLP BibTeX RDF
19	Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su 0001	Synthesis of Maximally Permissive Covert Attackers Against Unknown Supervisors by Using Observations.	CoRR	2021	DBLP BibTeX RDF
19	Liyong Lin, Ruochen Tai, Yuting Zhu, Rong Su 0001	Observation-Assisted Heuristic Synthesis of Covert Attackers Against Unknown Supervisors.	CoRR	2021	DBLP BibTeX RDF
19	Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara	Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications.	CoRR	2021	DBLP BibTeX RDF
19	Lucas V. R. Alves, Patrícia N. Pena	On the Reduction and Localization of Synchronizing Supervisors.	ACC	2021	DBLP DOI BibTeX RDF
19	Liyong Lin, Ruochen Tai, Yuting Zhu, Rong Su 0001	Heuristic Synthesis of Covert Attackers Against Unknown Supervisors.	CDC	2021	DBLP DOI BibTeX RDF
19	Elliott Hogg, David Harvey, Sabine Hauert, Arthur Richards	Evolving Robust Supervisors for Robot Swarms in Uncertain Complex Environments.	DARS	2021	DBLP DOI BibTeX RDF
19	Dar'ya Heyko, David R. Flatla	Identifying the Factors That Influence DHH Employee Success Under Hearing Supervisors.	Conference on Designing Interactive Systems	2021	DBLP DOI BibTeX RDF
19	Mowafak Hassan Abdul-Hussin	Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S4PR-Nets.	CCWC	2021	DBLP DOI BibTeX RDF
19	Kote Liu, Yungyu Shih, Minghua Yu	The Corporate Governance Performance of Taiwan's Legal Entity Directors and Supervisors for Fat Cat Enterprises.	ICISE	2021	DBLP DOI BibTeX RDF