Search results for "discrete event systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Christoforos E. Economakos, Fotis N. Koumboulis	Efficient robust supervisors for discrete event systems.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	robust supervisory control, uncertain discrete event systems, modular supervisory control, on-line supervisory controller
3	Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi	PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.	Petri Nets	2009	DBLP DOI BibTeX RDF	Stochastic discrete-event systems, SDES description, PDETool, Petri nets
3	Sarah-Jane Whittaker, Mohammad Zulkernine, Karen Rudie	Towards Incorporating Discrete-Event Systems in Secure Software Development.	ARES	2008	DBLP DOI BibTeX RDF	anomaly detection, Software security, discrete-event systems, finite-state automata
3	Yin Wang, Tae-Sic Yoo, Stéphane Lafortune	Diagnosis of Discrete Event Systems Using Decentralized Architectures.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Diagnosis, Discrete event systems, Decentralized systems
3	Benoit Gaudin, Hervé Marchand	An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems
3	Eric Fabre, Albert Benveniste	Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Distributed systems, Diagnosis, Partial orders, Discrete event systems, Unfoldings, Fault management, Alarm correlation
3	Fuchun Liu, Daowen Qiu	Lyapunov Stability of Fuzzy Discrete Event Systems.	ICIC	2007	DBLP DOI BibTeX RDF	fuzzy finite automata, metric space, Discrete event systems, asymptotical stability, Lyapunov stability
3	Lenko Grigorov, Karen Rudie	Near-Optimal Online Control of Dynamic Discrete-Event Systems.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	On-line control, Optimal control, Discrete-event systems, Control algorithms, Time-varying systems, Uncertain systems, Dynamic behaviour
3	Emilio García Moreno, Antonio Correcher Salvador, Francisco José Morant Anglada, Eduardo Quiles Cucarella, Ramón Blasco Giménez	Modular Fault Diagnosis Based on Discrete Event Systems.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	fault diagnosis, discrete event systems, large scale systems
3	Max H. Queiroz, José E. R. Cury, W. Murray Wonham	Multitasking Supervisory Control of Discrete-Event Systems.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	control system synthesis, automata, tasks, discrete-event systems, supervisory control
3	Kai C. Wong, W. Murray Wonham	On the Computation of Observers in Discrete-Event Systems.	Discrete Event Dynamic Systems	2004	DBLP DOI BibTeX RDF	causal reporter maps, natural projections, observers, discrete-event systems
3	Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis	On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems.	Discrete Event Dynamic Systems	2003	DBLP DOI BibTeX RDF	decentralized information, diagnostic protocols, discrete event systems, communication delays, failure diagnosis
3	Ioannis A. Kakadiaris, Dimitris N. Metaxas	3D Human Body Model Acquisition from Multiple Views. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	3D human body model acquisition, motion-based approach, human body part identification strategy, deforming silhouette, 2D shape estimation, supervisory control theory, computer vision, image sequences, multiple views, discrete event systems, discrete event systems, shape estimation, spatiotemporal analysis
2	Xinyu Du, Hao Ying, Feng Lin	Theory of Extended Fuzzy Discrete-Event Systems for Handling Ranges of Knowledge Uncertainties and Subjectivity.	IEEE T. Fuzzy Systems	2009	DBLP DOI BibTeX RDF
2	Fuchun Liu, Daowen Qiu	Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach.	IEEE T. Fuzzy Systems	2009	DBLP DOI BibTeX RDF
2	Stephane Gaubert	Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Awantha Jayasiri, George K. I. Mann, Raymond G. Gosine	Mobile robot behavior coordination using supervisory control of Fuzzy Discrete Event Systems.	IROS	2009	DBLP DOI BibTeX RDF
2	Gayan W. Gamage, George K. I. Mann, Raymond G. Gosine	Discrete event systems based formation control framework to coordinate multiple nonholonomic mobile robots.	IROS	2009	DBLP DOI BibTeX RDF
2	Jürgen Dingel, Karen Rudie, Christopher Dragert	Bridging the gap: Discrete-Event Systems for software engineering (short position paper).	C3S2E	2009	DBLP DOI BibTeX RDF	concurrency, model-driven development, control theory, discrete-event systems, automatic code generation
2	Awantha Jayasiri, George K. I. Mann, Ray G. Gosine	Supervisory control of Fuzzy Discrete Event Systems and its application to mobile robot navigation.	CCECE	2009	DBLP DOI BibTeX RDF
2	Frantisek Capkovic	DES Control Synthesis and Cooperation of Agents.	ICCCI	2009	DBLP DOI BibTeX RDF	Agents, Petri nets, control, synthesis, cooperation, bipartite graphs, discrete-event systems, supervisor
2	Rupa Sampath, Houshang Darabi, Ugo Buy, Liu Jing	Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications.	IEEE T. Automation Science and Engineering	2008	DBLP DOI BibTeX RDF
2	Petter Falkman, Johan Nielsen, Bengt Lennartson, Astrid von Euler-Chelpin	Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control.	IEEE T. Automation Science and Engineering	2008	DBLP DOI BibTeX RDF
2	Sarah-Jane Whittaker, Karen Rudie	Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Supervisor reduction, Automata, Discrete-event systems, Supervisory control
2	Jianfeng Mao, Christos G. Cassandras	On-line optimal control of a class of discrete event systems with real-time constraints.	CDC	2008	DBLP DOI BibTeX RDF
2	Anooshiravan Saboori, Christoforos N. Hadjicostis	Opacity-enforcing supervisory strategies for secure discrete event systems.	CDC	2008	DBLP DOI BibTeX RDF
2	Shigemasa Takai, Ratnesh Kumar	Inference-based decentralized prognosis in discrete event systems.	CDC	2008	DBLP DOI BibTeX RDF
2	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
2	Iwan Tabakow	Using Place and Transition Fault Net Models for Sequential Diagnosis Time Assessment in Discrete Event Systems.	IEA/AIE	2008	DBLP DOI BibTeX RDF
2	Chengjia Li, Yifan Cai, Fuling Ding	Product Supervisor for Fuzzy Discrete Event Systems.	FSKD	2008	DBLP DOI BibTeX RDF
2	Reggie Davidrajuh	Developing a New Petri Net Tool for Simulation of Discrete Event Systems.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	GPenSIM, XML, modeling and simulation, discrete event system
2	Jih-Fu Tu	An Accomplished Simulator for Discrete Event Systems.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF
2	Xiangfu Zhao, Dantong Ouyang	On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.	RAM	2008	DBLP DOI BibTeX RDF
2	Alejandra Santoyo-Sanchez, Antonio Ramírez-Treviño, Carlos De Jesus-Velasquez, Luis I. Aguirre-Salas	Step state-feedback supervisory control of Discrete Event Systems using Interpreted Petri Nets.	ETFA	2008	DBLP DOI BibTeX RDF
2	Andrea Matta	Simulation optimization with mathematical programming representation of discrete event systems.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	Christopher Dragert, Jürgen Dingel, Karen Rudie	Generation of concurrency control code using discrete-event systems theory.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	concurrency, model-driven development, control theory, discrete-event systems, automatic code generation
2	Lenko Grigorov, Karen Rudie, José E. R. Cury, Steffi Klinge	Template design and automatic generation of controllers for industrial robots.	SAC	2008	DBLP DOI BibTeX RDF	system control, template design, code generation, discrete-event systems
2	Andrea Paoli, Stéphane Lafortune	Diagnosability Analysis of a Class of Hierarchical State Machines.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser
2	Fei Xue, Lu Yan	Formal approach to fault diagnosis in distributed discrete event systems with OBDD.	ISSE	2007	DBLP DOI BibTeX RDF	Petri net, Fault diagnosis, Discrete event system, OBDD
2	Yongzhi Cao, Mingsheng Ying, Guoqing Chen	State-Based Control of Fuzzy Discrete-Event Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2007	DBLP DOI BibTeX RDF
2	Jianfeng Mao, Christos G. Cassandras	Optimal Control of Two-Stage Discrete Event Systems with Real-Time Constraints.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Optimal control, Discrete event system, Real-time constraint
2	Guillaume Feuillade, Sophie Pinchinat	Modal Specifications for the Control Theory of Discrete Event Systems.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus
2	David Thorsley, Demosthenis Teneketzis	Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Measurement scheduling, Sensor optimization, Supervisory control, Failure diagnosis
2	YuanLin Wen, Pei-Shu Fan, MuDer Jeng	Diagnosable discrete event systems design.	SMC	2007	DBLP DOI BibTeX RDF
2	Yasuaki Kuroe, Yoshihiro Mori	Neural network models for identification and realization of a class of discrete event systems.	SMC	2007	DBLP DOI BibTeX RDF
2	Chengjia Li, Yifan Cai, Xiaodong Sun	Supervisor Existence for Product Composition of Discrete Event Systems.	FSKD	2007	DBLP DOI BibTeX RDF
2	Tag Gon Kim, Chang Ho Sung	Objective-driven DEVS modeling using OPI matrix for performance evaluation of discrete event systems.	SCSC	2007	DBLP DOI BibTeX RDF	OPI matrix, objective-driven modeling, war game modeling, DEVS
2	Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson	Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Controllability, Synthesis, Discrete event systems, Supervisory control, Model reduction, Finite state automata, Nonblocking
2	Ion Necoara, Bart De Schutter, Ton J. J. van den Boom, Hans Hellendoorn	Stable Model Predictive Control for Constrained Max-Plus-Linear Systems.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Max-plus-linear systems, Input-state constraints, Positively invariant sets, Stability, Discrete-event systems, Model predictive control
2	Lei Feng, W. Murray Wonham, P. S. Thiagarajan	Designing communicating transaction processes by supervisory control theory.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Communicating transaction processes, Discrete-event systems, Supervisory control, Message sequence charts
2	Y. Cao, M. Ying	Observability and Decentralized Control of Fuzzy Discrete-Event Systems.	IEEE T. Fuzzy Systems	2006	DBLP DOI BibTeX RDF
2	Shigemasa Takai, Toshimitsu Ushio	A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Timed discrete event system, Forcible event, Supervisory control, Partial observation
2	Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis	Diagnosability of Discrete Event Systems with Modular Structure.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Common events, Distributed systems, Modularity, Diagnosability
2	Gianfranco Lamperti, Marina Zanella	On Processing Temporal Observations in Monitoring of Discrete-Event Systems.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF
2	Iwan Tabakow	Fault Distinguishability of Discrete Event Systems.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Juan Carlos González-Castolo, Ernesto López-Mellado	Fuzzy State Estimation of Discrete Event Systems.	MICAI	2006	DBLP DOI BibTeX RDF
2	YuanLin Wen, MuDer Jeng, Li-Der Jeng, Pei-Shu Fan	An Intelligent Technique Based on Petri Nets for Diagnosability Enhancement of Discrete Event Systems.	KES	2006	DBLP DOI BibTeX RDF
2	J. Pan, Shahin Hashtrudi-Zad	Diagnosability Test for Timed Discrete-Event Systems.	ICTAI	2006	DBLP DOI BibTeX RDF
2	Peng Wang, Kai-Yuan Cai	Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems.	QSIC	2006	DBLP DOI BibTeX RDF
2	Emilio García Moreno, Antonio Correcher Salvador, Francisco José Morant Anglada, Eduardo Quiles Cucarella, Ramón Blasco Giménez	Centralized Modular Diagnosis and the Phenomenon of Coupling.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Modular diagnosers, Coupling, Discrete event systems, Failure diagnosis
2	Ales Polic, Karel Jezernik	Closed-loop matrix based model of discrete event systems for machine logic control design.	IEEE Trans. Industrial Informatics	2005	DBLP DOI BibTeX RDF
2	Yongzhi Cao, Mingsheng Ying	Supervisory control of fuzzy discrete event systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2005	DBLP DOI BibTeX RDF
2	Daowen Qiu	Supervisory control of fuzzy discrete event systems: a formal approach.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2005	DBLP DOI BibTeX RDF
2	Ahmed Khoumsi	A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control
2	Jan Komenda, Jan H. van Schuppen	Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	bisimulation, supervisory control, coalgebra, coinduction, partial observations
2	Shigemasa Takai, Toshimitsu Ushio	Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control
2	Fei Xue, Da-Zhong Zheng	Fault Tolerant Supervisory for Discrete Event Systems Based on Event Observer.	ICIC	2005	DBLP DOI BibTeX RDF
2	Jan Komenda, Jan H. van Schuppen	Control of Modular and Distributed Discrete-Event Systems.	FMCO	2005	DBLP DOI BibTeX RDF
2	Alban Grastien, Marie-Odile Cordier, Christine Largouët	First Steps Towards Incremental Diagnosis of Discrete-Event Systems.	Canadian Conference on AI	2005	DBLP DOI BibTeX RDF
2	Wen Chen 0001, Feiyu Lei, Weinong Wang	A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems.	ICECCS	2005	DBLP DOI BibTeX RDF
2	Santosh Biswas, Siddhartha Mukhopadhyay, Amit Patra	A Formal Approach to On-Line Monitoring of Digital VLSI Circuits: Theory, Design and Implementation.	J. Electronic Testing	2005	DBLP DOI BibTeX RDF	detection latency, discrete event systems, ordered binary decision diagrams, fault detection and diagnosis
2	Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem	Modeling of discrete event systems: A holistic and incremental approach using Petri nets.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	experimental frame, Petri nets, DEVS, structural modeling, Algebraic structures
2	Santosh Biswas, Siddhartha Mukhopadhyay, Amit Patra	A discrete event systems approach to online testing of digital VLSI circuits.	SMC	2004	DBLP DOI BibTeX RDF
2	Raul Campos-Rodriguez, Antonio Ramírez-Treviño, Ernesto López-Mellado	Regulation control of partially observed discrete event systems.	SMC	2004	DBLP DOI BibTeX RDF
2	John G. Thistle	Synthesis of Supervisory Controls for Discrete Event Systems.	ACSD	2004	DBLP DOI BibTeX RDF
2	Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis	Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.	ATVA	2004	DBLP DOI BibTeX RDF
2	Antonio Ramírez-Treviño, Elvia Ruiz-Beltrán, Israel Rivera-Rangel, Ernesto López-Mellado	Diagnosability of Discrete Event Systems: a Petri Net based Approach.	ICRA	2004	DBLP DOI BibTeX RDF
2	Fei Xue, Da-Zhong Zheng	Diagnosability for discrete event systems based on Petri net language.	ICARCV	2004	DBLP DOI BibTeX RDF
2	Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung	Defeasible Deontic Control for Discrete Events Based on EVALPSN.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	annotated logic program, discrete event systems, paraconsistent logic, EVALPSN, defeasible deontic reasoning
2	Sahika Genc, Stéphane Lafortune	Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
2	Yannick Pencolé	All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives.	ICTAI	2003	DBLP DOI BibTeX RDF
2	Wai Kin Chan, Lee Schruben	Special topics on simulation analysis: properties of discrete event systems from their mathematical programming representations.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
2	Tae-Sic Yoo, Stéphane Lafortune	A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.	Discrete Event Dynamic Systems	2002	DBLP DOI BibTeX RDF	supervisor synthesis, computational complexity, supervisory control, decision fusion, decentralized architectures
2	Håkan L. S. Younes, Reid G. Simmons	Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling.	CAV	2002	DBLP DOI BibTeX RDF
2	Kevin X. He, Michael D. Lemmon	Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
2	Juanjo Noguera, Rosa M. Badia	Run-Time HW/SW Codesign for Discrete Event Systems using Dynamically Reconfigurable Architectures.	ISSS	2000	DBLP DOI BibTeX RDF
2	Luc Jaulin, Jean-Louis Boimond, Laurent Hardouin	Estimation of Discrete-Event Systems Using Interval Computation.	Reliable Computing	1999	DBLP DOI BibTeX RDF
2	Christoforos N. Hadjicostis, George C. Verghese	Monitoring Discrete Event Systems Using Petri Net Embeddings.	ICATPN	1999	DBLP DOI BibTeX RDF
2	P. Madhusudan, P. S. Thiagarajan	Controllers for Discrete Event Systems via Morphisms.	CONCUR	1998	DBLP DOI BibTeX RDF
2	Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro	Introducing Planning in Discrete Event Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
2	Edward A. Lee, Alberto L. Sangiovanni-Vincentelli	Comparing models of computation.	ICCAD	1996	DBLP DOI BibTeX RDF	concurrent sequential processes, denotational framework, synchronous events, totally ordered set, value-tag pair, Petri nets, discrete-event systems, models of computation, partially ordered set, concurrent processes, Kahn process networks, sequential processes
2	Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas	Refinement Mapping for General (Discrete Event) Systems Theory.	EUROCAST	1995	DBLP DOI BibTeX RDF
2	Ryo Sato	Toward a unified theory of discrete event systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
2	Pirooz Vakili	Massively Parallel and Distributed Simulation of a Class of Discrete Event Systems: A Different Perspective.	ACM Trans. Model. Comput. Simul.	1992	DBLP DOI BibTeX RDF	speedup, parallel discrete-event simulation, event-driven simulation
2	Muralidhar Sitaram, George W. Ernst, John Marcuse	Knowledge based system to diagnose faults in discrete event systems.	IEA/AIE	1989	DBLP DOI BibTeX RDF
2	Zvi M. Kedem, Alexander Tuzhilin	Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models.	PODS	1989	DBLP DOI BibTeX RDF
2	Rajan Suri	Infinitesimal perturbation analysis for general discrete event systems.	J. ACM	1987	DBLP DOI BibTeX RDF
2	Rajan Suri, Xiren Cao	The phantom customer and marked customer methods for optimization of closed queueing networks with blocking and general service times.	SIGMETRICS	1983	DBLP DOI BibTeX RDF	Simulation, Performance evaluation, Performance prediction, Queueing networks, Discrete event systems, Perturbation analysis, Sample path analysis
1	Jan Komenda, Tomás Masopust, Jan H. van Schuppen	Supervisory control synthesis of discrete-event systems using a coordination scheme.	Automatica	2012	DBLP DOI BibTeX RDF
1	Masashi Nomura, Shigemasa Takai	Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set.	IEICE Transactions	2012	DBLP BibTeX RDF