Search results for "supervisor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Juan Pablo Carrasco, Arturo de la Escalera, José María Armingol	Recognition Stage for a Speed Supervisor Based on Road Sign Detection.	Sensors	2012	DBLP DOI BibTeX RDF
17	Pablo Zoghbi Manrique de Lara, Antonia M. Gil-Padilla	Whether satisfaction with and liking for the supervisor moderate the relationship between fair treatment and employee internet behaviour.	Int. J. Internet Enterp. Manag.	2012	DBLP DOI BibTeX RDF
17	Yufeng Chen 0001, ZhiWu Li 0001, Mohamed Khalgui, Olfa Mosbahi	Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems".	IEEE Trans Autom. Sci. Eng.	2012	DBLP DOI BibTeX RDF
17	Tina L. Heafner, Teresa M. Petty, Richard Hartshorne	University supervisor perspectives of the remote observation of graduate interns.	J. Comput. High. Educ.	2012	DBLP DOI BibTeX RDF
17	Ankur Nandedkar, Vishal Midha	Impact of Supervisor - Subordinate Relationship on Envy, Knowledge Sharing, and Relational Conflict among Employees: a Pilot Study.	AMCIS	2012	DBLP BibTeX RDF
17	Liyong Lin, Rong Su 0001, Alin Stefanescu	Remarks on the difficulty of top-down supervisor synthesis.	ICARCV	2012	DBLP DOI BibTeX RDF
17	Fawaz Khaled Alarfaj, Udo Kruschwitz, David Hunter, Chris Fox	Finding the Right Supervisor: Expert-Finding in a University Domain.	HLT-NAACL	2012	DBLP BibTeX RDF
17	Kai Cai, Walter Murray Wonham	Supervisor localization of discrete-event systems based on State Tree Structures.	CDC	2012	DBLP DOI BibTeX RDF
17	Sahar Mohajerani, Robi Malik, Martin Fabian	Transition removal for compositional supervisor synthesis.	CASE	2012	DBLP DOI BibTeX RDF
17	Rahul Rajan, Cliff Chen, Ted Selker	Considerate supervisor: an audio-only facilitator for multiparty conference calls.	CHI Extended Abstracts	2012	DBLP DOI BibTeX RDF
17	Sahar Mohajerani, Robi Malik, Martin Fabian	An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis.	WODES	2012	DBLP DOI BibTeX RDF
17	Kai Cai, Walter Murray Wonham	New results on supervisor localization, with application to multi-agent formations.	WODES	2012	DBLP DOI BibTeX RDF
17	Gang Chen, Song Yang, Xiaoying Zhou, Ruimin Shen	An Eye Detection Based Multi-modal "E-Supervisor" in Distant Education.	ICALT	2012	DBLP DOI BibTeX RDF
17	Roman Bednarik, Adam Herout	What students want: a study on the role of the supervisor of final works in computing education.	Koli Calling	2012	DBLP DOI BibTeX RDF
17	Caterina M. Espejo, Paul Rodríguez 0001	Computationally inexpensive parallel parking supervisor based on video processing.	ITSC	2012	DBLP DOI BibTeX RDF
17	Yufeng Chen 0001, ZhiWu Li 0001	Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems.	Autom.	2011	DBLP DOI BibTeX RDF
17	Hesuan Hu, Mengchu Zhou, Zhiwu Li 0001	Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2011	DBLP DOI BibTeX RDF
17	Pascal Paillé, Denis Morin, François Grima	Managing commitment to customer in the public sector: highlight the role of the supervisor.	Int. J. Serv. Technol. Manag.	2011	DBLP DOI BibTeX RDF
17	Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie	Combining Model Checking and Discrete-Event Supervisor Synthesis.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
17	Yufeng Chen 0001, ZhiWu Li 0001, Mohamed Khalgui, Olfa Mosbahi	Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems.	IEEE Trans Autom. Sci. Eng.	2011	DBLP DOI BibTeX RDF
17	Hesuan Hu, MengChu Zhou, Zhiwu Li 0001	Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets.	IEEE Trans Autom. Sci. Eng.	2011	DBLP DOI BibTeX RDF
17	Reza Vaezi	Corporate Social Networks Effects on Perceived Organizational Support and Perceived Supervisor Support.	AMCIS	2011	DBLP BibTeX RDF
17	Geoffrey Biggs, Noriaki Ando, Tetsuo Kotoku	A component supervisor for RT-Middleware using supervision trees.	IROS	2011	DBLP DOI BibTeX RDF
17	ZhiWu Li 0001, Yufeng Chen 0001, MengChu Zhou	On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems.	SMC	2011	DBLP DOI BibTeX RDF
17	Yufeng Chen 0001, Zhiwu Li 0001, Kamel Barkaoui	Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems.	ETFA	2011	DBLP DOI BibTeX RDF
17	Mai M. Hassan, Ramez M. Daoud, Hassanein H. Amer	Passive supervisor for railway fault-tolerant Ethernet networked control systems.	ETFA	2011	DBLP DOI BibTeX RDF
17	Pierre Martin 0002, Patrick Bourdot	Designing a reconfigurable multimodal and collaborative supervisor for Virtual Environment.	VR	2011	DBLP DOI BibTeX RDF
17	Amitava Chatterjee, Fumitoshi Matsuno	A Geese PSO tuned fuzzy supervisor for EKF based solutions of simultaneous localization and mapping (SLAM) problems in mobile robots.	Expert Syst. Appl.	2010	DBLP DOI BibTeX RDF
17	David Castro 0005, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas	A Case Study on Verifying a Supervisor Component Using McErlang.	PROLE	2010	DBLP DOI BibTeX RDF
17	Mi Zhao, ZhiWu Li 0001, Hesuan Hu	Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming.	Int. J. Syst. Sci.	2010	DBLP DOI BibTeX RDF
17	Rong Su 0001, Jan H. van Schuppen, Jacobus E. Rooda	Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis.	IEEE Trans. Autom. Control.	2010	DBLP DOI BibTeX RDF
17	Kai Cai, Walter Murray Wonham	Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems.	IEEE Trans. Autom. Control.	2010	DBLP DOI BibTeX RDF
17	Naimatullah Shah, Syed Ghulam Sarwar Shah	Relationships between employee readiness for organisational change, supervisor and peer relations and demography.	J. Enterp. Inf. Manag.	2010	DBLP DOI BibTeX RDF
17	Hesuan Hu, Zhiwu Li 0001	Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons.	J. Intell. Manuf.	2010	DBLP DOI BibTeX RDF
17	Hesuan Hu, MengChu Zhou, ZhiWu Li 0001	Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets.	IEEE Trans Autom. Sci. Eng.	2010	DBLP DOI BibTeX RDF
17	Ahmad Fakharian, Fatemeh Jamshidi, Mohammad Taghi Hamidi Beheshti	Logic based switching H2/H∞ controller design for linear singular perturbation systems: A fuzzy supervisor approach.	ICCA	2010	DBLP DOI BibTeX RDF
17	Ahmad Fakharian, Fatemeh Jamshidi, Mohammad Taghi Hamidi Beheshti	Logic based switching H2/H∞ controller design: An intelligent supervisor approach.	ICCA	2010	DBLP DOI BibTeX RDF
17	Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian	Supervisor computation and representation: A case study.	WODES	2010	DBLP DOI BibTeX RDF
17		The Influence of Work-Family Conflict and Supervisor Support on Job Satisfaction.	ICEE	2010	DBLP DOI BibTeX RDF
17		Supervisor Opinion.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
17		Supervisor.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
17	Jiliang Luo, Weimin Wu, Hongye Su, Jian Chu	Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
17	Amitava Chatterjee	Differential evolution tuned fuzzy supervisor adapted extended Kalman filtering for SLAM problems in mobile robots.	Robotica	2009	DBLP DOI BibTeX RDF
17	Hesuan Hu, Zhiwu Li 0001	Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior.	IEEE Trans Autom. Sci. Eng.	2009	DBLP DOI BibTeX RDF
17	José Mireles, Frank L. Lewis, Roberto C. Ambrosio, Edgar A. Martínez-García	Development of a Discrete Event Controller Supervisor using a Hybrid Matrix Formulation with Fuzzy Logic Conflict Resolution.	J. Comput.	2009	DBLP BibTeX RDF
17	Fatemeh Jamshidi, M. Ghasem Moghadam, Mohammad Taghi Hamidi Beheshti, Mahmoud Najafi	Synthesis of switching H2 and H∞ output-feedback controllers: A fuzzy supervisor approach.	ACC	2009	DBLP DOI BibTeX RDF
17	Piotr Tatjewski, Maciej Lawrynczuk, Piotr M. Marusak	Integrated predictive optimiser and constraint supervisor for processes with basic feedback control.	ECC	2009	DBLP DOI BibTeX RDF
17	Kai Cai, Walter Murray Wonham	Supervisor localization for large-scale discrete-event systems.	CDC	2009	DBLP DOI BibTeX RDF
17	Yi-Sheng Huang, MuDer Jeng	An Enforcing Supervisor for Flexible Manufacturing Systems Using Theory of Regions.	SMC	2009	DBLP DOI BibTeX RDF
17	Gary Alan Bundell	Aspects of the Safety Analysis of an On-board Automatic Train Operation Supervisor.	SMC	2009	DBLP DOI BibTeX RDF
17	José González de Durana, Oscar Barambones	Object Oriented Simulation of Hybrid Renewable Energy Systems focused on Supervisor Control.	ETFA	2009	DBLP DOI BibTeX RDF
17	Q. Wen, R. Kumar, J. Huang	Synthesis of optimal fault-tolerant supervisor for discrete event systems.	ACC	2008	DBLP DOI BibTeX RDF
17	Yujin Song, Jongwoog Kim, Jongkun Lee	Modeling User Specification Based on Supervisor Control and Petri Nets.	CIMCA/IAWTIC/ISE	2008	DBLP DOI BibTeX RDF
17	Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis	Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.	CDC	2008	DBLP DOI BibTeX RDF
17	Christian Timmerer, Michael Ransburg, Ingo Kofler, Hermann Hellwagner, Pedro Souto, Maria T. Andrade 0001, Pedro Carvalho, Helder F. Castro, Mamadou Sidibé, Ahmed Mehaoua, Li Fang, Adam Lindsay, Michael Mackay 0001, Artur Lugmayr, Bernhard Feiten	An Integrated Management Supervisor for End-to-End Management of Heterogeneous Contents, Networks, and Terminals enabling Quality of Service.	MobiMedia	2008	DBLP DOI BibTeX RDF
17	Seong-Jin Park, Kwang-Hyun Cho	Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor.	Autom.	2007	DBLP DOI BibTeX RDF
17	Raymond Robert, Philippe Micheau, Hervé Walti	A supervisor for volume-controlled tidal liquid ventilator using independent piston pumps.	Biomed. Signal Process. Control.	2007	DBLP DOI BibTeX RDF
17	Ali Saadatpoor, W. M. Wonham	Supervisor State Size Reduction for Timed Discrete-Event Systems.	ACC	2007	DBLP DOI BibTeX RDF
17	Juan Pablo Carrasco, Arturo de la Escalera, Jose M. Armingol	Speed Supervisor for Intelligent Vehicles.	EUROCAST	2007	DBLP DOI BibTeX RDF	Road Sign Recognition, Computer Vision, Intelligent Vehicles
17	Yi-Sheng Huang, Shung-Shing Lee, Yung-Kuer Liu	A Supervisor of Traffic Light Systems Using Statecharts.	ICNSC	2007	DBLP DOI BibTeX RDF
17	Marco E. Sanjuan, Abraham Kandel, C. A. Smith	Design and implementation of a fuzzy supervisor for on-line compensation of nonlinearities: An instability avoidance module.	Eng. Appl. Artif. Intell.	2006	DBLP DOI BibTeX RDF
17	Vivien K. G. Lim, Jen Yuin Chin	Cyber Incivility at the Workplace: What has Supervisor's Sex got to do with It?	PACIS	2006	DBLP BibTeX RDF
17	Jiliang Luo, Weimin Wu, Hongye Su, Jian Chu	Supervisor synthesis for a class of forbidden state problems in Petri nets.	ACC	2006	DBLP DOI BibTeX RDF
17	Jiliang Luo, Weimin Wu, Hongye Su, Jian Chu	Supervisor synthesis for enforcing GMECs on a controlled Petri net.	ACC	2006	DBLP DOI BibTeX RDF
17	James D. Jones, Steve Reames, George Pandzik	Skeleton of a Supervisor for Enterprise Information Systems.	CONFENIS	2006	DBLP DOI BibTeX RDF
17	F. Danko Kezic, Igor Vujovic, Ivica Kuzmanic	Maximally permissive supervisor of marine canal traffic system.	ITSC	2006	DBLP DOI BibTeX RDF
17	Christoforos E. Economakos, Fotis N. Koumboulis	A Safe Set Point Supervisor for MIMO Processes.	ETFA	2006	DBLP DOI BibTeX RDF
17	Ratnesh Kumar 0001, Shengbing Jiang, Changyan Zhou, Wenbin Qiu	Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control.	IEEE Trans. Autom. Control.	2005	DBLP DOI BibTeX RDF
17	Tae-Sic Yoo, Stéphane Lafortune	Decentralized Supervisory Control With Conditional Decisions: Supervisor Realization.	IEEE Trans. Autom. Control.	2005	DBLP DOI BibTeX RDF
17	Massih-Reza Amini, Patrick Gallinari	Semi-supervised learning with an imperfect supervisor.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Semi-supervised learnin, Imperfect supervision, Classification Expectation Maximisation, Classification Maximum Likelihood
17	Kenneth W. Green Jr., Dwayne Whitten, Bobby Medlin	Impact of relational differences on supervisor/subordinate dyad.	Ind. Manag. Data Syst.	2005	DBLP DOI BibTeX RDF
17	Gary G. Yen, Pedro G. DeLima	Improving the performance of globalized dual heuristic programming for fault tolerant control through an online learning supervisor.	IEEE Trans Autom. Sci. Eng.	2005	DBLP DOI BibTeX RDF
17	Andreas Morgenstern, Klaus Schneider 0001	A unified model checking framework for the supervisor synthesis problem.	GALOP@ETAPS	2005	DBLP BibTeX RDF
17	Tatsushi Yamasaki, Kazutaka Taniguchi, Toshimitsu Ushio	Reinforcement Learning of Optimal Supervisor Based on Language Measure.	CDC/ECC	2005	DBLP DOI BibTeX RDF
17	Andreas Morgenstern, Klaus Schneider 0001	Using Model Checking to Solve Supervisor Synthesis Problems.	CDC/ECC	2005	DBLP DOI BibTeX RDF
17	Roberto Ziller	An Application of Generalized Supervisor Synthesis to the Control of a Call Center.	FDL	2005	DBLP BibTeX RDF
17	Tae-Sic Yoo, Stéphane Lafortune	Decentralized supervisory control with conditional decisions: supervisor existence.	IEEE Trans. Autom. Control.	2004	DBLP DOI BibTeX RDF
17	Yu Liu 0035, Zheng Qin, Xingshi He	Supervisor-student model in particle swarm optimization.	IEEE Congress on Evolutionary Computation	2004	DBLP DOI BibTeX RDF
17	Wenle Zhang, Ziqiang John Mao	Synthesis of an event based supervisor for deadlock avoidance in semiconductor manufacturing systems.	ACC	2004	DBLP DOI BibTeX RDF
17	Yu Ru, Weimin Wu, Hongye Su, Jian Chu	Supervisor synthesis for bounded Petri nets based on a transformation function.	ACC	2004	DBLP DOI BibTeX RDF
17	Wenle Zhang, Ziqiang John Mao	Synthesis of an event based deadlock avoidance supervisor for semiconductor manufacturing systems with choices in process flows.	CDC	2004	DBLP DOI BibTeX RDF
17	Arash Vahidi	Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams.		2004	RDF
17	Yuhong Dai, John D. Lamb, Wenbin Liu	Novel supervisor-searcher cooperation algorithms for minimization problems with strong noise.	Optim. Methods Softw.	2003	DBLP DOI BibTeX RDF
17	Roberto Ziller, Klaus Schneider 0001	A Generalised Approach to Supervisor Synthesis.	MEMOCODE	2003	DBLP DOI BibTeX RDF
17	Do-Hyung Kim 0004, Jaeyeon Lee 0001, Jung Soh, YunKoo Chung	Real-time face verification using multiple feature combination and a support vector machine supervisor.	ICASSP (2)	2003	DBLP DOI BibTeX RDF
17	Roberto Ziller, Klaus Schneider 0001	A μ-Calculus Approach to Supervisor Synthesis.	MBMV	2003	DBLP BibTeX RDF
17	Shigemasa Takai, Toshiniitsu Ushio	Supervisor synthesis for a class of concurrent discrete event systems.	CDC	2003	DBLP DOI BibTeX RDF
17	Abdelaziz Hamzaoui, Noureddine Manamanni, Najib Essounbouli, Janan Zaytoon	Switching Controllers' Synthesis: Combination of a Sliding Mode and H Infinity Control by a Fuzzy Supervisor.	ADHS	2003	DBLP DOI BibTeX RDF
17	Jesús M. Trujillo, Zbigniew J. Pasek	Online DES control behavior verification via virtual supervisor.	SMC	2003	DBLP DOI BibTeX RDF
17	Belhassen Zouari, Kamel Barkaoui	Parameterized supervisor synthesis for a modular class of discrete event systems.	SMC	2003	DBLP DOI BibTeX RDF
17	Do-Hyung Kim 0004, Jaeyeon Lee 0001, Jung Soh, YunKoo Chung	Real-time face verification using multiple feature combination and a support vector machine supervisor.	ICME	2003	DBLP DOI BibTeX RDF
17	Pitoyo Hartono, Shuji Hashimoto	Extracting the Principal Behavior of a Probabilistic Supervisor Through Neural Networks Ensemble.	Int. J. Neural Syst.	2002	DBLP DOI BibTeX RDF
17	Roberto Ziller	Finding Bad States during Symbolic Supervisor Synthesis.	MBMV	2002	DBLP BibTeX RDF
17	Konstantinos Sirlantzis	Supervisor and searcher co-operation algorithms for stochastic optimisation with application to neural network training.		2002	RDF
17	Seong-Jin Park, Jong-Tae Lim	Language Model Approach to Nonblocking Supervisor Synthesis for Nondeterministic Discrete Event Systems.	ICRA	2001	DBLP DOI BibTeX RDF
17	Mohammad Zulkernine, Rudolph E. Seviora	Assume-Guarantee Supervisor for Concurrent Systems.	IPDPS	2001	DBLP DOI BibTeX RDF
17	Luis Alberto Martínez Riascos, Paulo Eigi Miyagi	Supervisor system for detection and treatment of failures in balanced automation systems using Petri nets.	SMC	2001	DBLP DOI BibTeX RDF
17	Weimin Wu, Hongye Su, Jian Chu, Haifeng Zhai	Supervisor design for a class of generalized Petri net with uncontrollable transitions.	SMC	2001	DBLP DOI BibTeX RDF
17	Myint Swe Khine, Leslie Sharpe, Chun Hu, Lachlan Crawford, Saravanan Gopinathan, Moo Swee Ngoh, Angela F. L. Wong	Application of Multipoint Desktop Video Conferencing System (MDVC) for Enhancement of Trainee-Supervisor Discourse in Teacher Education.	ICALT	2001	DBLP DOI BibTeX RDF
17	Seong-Jin Park, Jong-Tae Lim	Robust and nonblocking supervisor for discrete-event systems with model uncertainty under partial observation.	IEEE Trans. Autom. Control.	2000	DBLP DOI BibTeX RDF