Search results for "Diagnoser"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Lunjin Lu	A Generic Declarative Diagnoser for Normal Logic Programs.	LPAR	1994	DBLP DOI BibTeX RDF
84	Laurence Rozé, Marie-Odile Cordier	Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	generic model, telecommunication networks, model based approach, real-time monitoring, communicating finite state machine
72	Rasul Mohammadi, Shahin Hashtrudi-Zad, Khashayar Khorasani	A hybrid architecture for diagnosis in hybrid systems with applications to spacecraft propulsion system.	SMC	2007	DBLP DOI BibTeX RDF
72	Lunjin Lu	Use of correctness assertions in declarative diagnosis.	SAC	2005	DBLP DOI BibTeX RDF	correctness assertions, declarative diagnosis, logic programs
54	Eleftheria Athanasopoulou, Christoforos N. Hadjicostis	Probability of error bounds for failure diagnosis and classification in hidden Markov models.	CDC	2008	DBLP DOI BibTeX RDF
54	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.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Modular diagnosers, Coupling, Discrete event systems, Failure diagnosis
54	Stavros Tripakis	Fault Diagnosis for Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF	Fault diagnosis, Timed Automata, Partial observability
54	Moon-Chuen Lee	An Augmented Prolog Programming Environment for Tutoring Applications.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
54	Andrea Paoli, Stéphane Lafortune	Diagnosability Analysis of a Class of Hierarchical State Machines.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser
36	Arturo Valdes, Khashayar Khorasani, Liying Ma	Dynamic Neural Network-Based Fault Detection and Isolation for Thrusters in Formation Flying of Satellites.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Attitude control subsystem, Pulsed plasma thrusters, Formation flying of satellites, Dynamic neural networks, Fault detection and isolation
36	Mohammed Ibrahim Alodib, Behzad Bordbar, Basim Majeed	A model driven approach to the design and implementing of fault tolerant Service oriented Architectures.	ICDIM	2008	DBLP DOI BibTeX RDF
36	Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam Biswas	Distributed Diagnosis in Formations of Mobile Robots.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
36	Pawel Pietrzak, Manuel V. Hermenegildo	Automatic Binding-Related Error Diagnosis in Logic Programs.	ICLP	2007	DBLP DOI BibTeX RDF
36	Rong Su 0001, Walter Murray Wonham	Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Distributed fault daignosis, Multiresolutional computation, Discret-event systems, Hierarchical
36	María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi	Correction of Functional Logic Programs.	ESOP	2003	DBLP DOI BibTeX RDF
36	Hidehisa Takahashi, Etsuya Shibayama	PRESET - A Debugging Environment for Prolog.	LP	1985	DBLP DOI BibTeX RDF
29	Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar	DADCNF: Diagnoser design for Duplicate Address Detection threat using Conjunctive Normal Form.	Comput. Networks	2023	DBLP DOI BibTeX RDF
29	Joshiba Ariamuthu Venkidasalapathy, Costas Kravaris	Hidden Markov model based fault diagnoser using binary alarm signals with an analysis on distinguishability.	Comput. Chem. Eng.	2022	DBLP DOI BibTeX RDF
29	Bilal Benmessahel, Farid Nouioua, Mohamed Touahria, Abderrahim Chariete	Fault Prediction in Fuzzy Discrete Event Systems: A Diagnoser Approach.	J. Digit. Inf. Manag.	2019	DBLP DOI BibTeX RDF
29	Yihui Hu, Ziyue Ma, Zhiwu Li 0001	Active Diagnosis of Petri Nets Using Q-Diagnoser.	CASE	2019	DBLP DOI BibTeX RDF
29	Ibrahim Abdallah, Anne-Lise Gehin, Belkacem Ould Bouamama	On-line robust graphical diagnoser for hybrid dynamical systems.	Eng. Appl. Artif. Intell.	2018	DBLP DOI BibTeX RDF
29	Abderraouf Boussif, Mohamed Ghazel	A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems.	ACC	2017	DBLP DOI BibTeX RDF
29	Felipe G. Cabral, Maria Z. M. Veras, Marcos V. Moreira	Conditional Synchronized Diagnoser for Modular Discrete-event Systems.	ICINCO (2)	2017	DBLP DOI BibTeX RDF
29	Ricardo Casas Carrillo, Ofelia Begovich, Javier Ruiz-León, Sergej Celikovský	Adaptive Fault Diagnoser based on PSO algorithm for a class of Timed Continuous Petri Nets.	ETFA	2016	DBLP DOI BibTeX RDF
29	Felipe Gomes Cabral, Marcos Vicente Moreira, Oumar Diene, João Carlos Basilio	A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
29	Jorge Vento, Louise Travé-Massuyès, Vicenç Puig, Ramon Sarrate	An Incremental Hybrid System Diagnoser Automaton Enhanced by Discernibility Properties.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
29	Joern Ploennigs, Bei Chen, Paulito Palmes, Raymond Lloyd	e2-Diagnoser: A System for Monitoring, Forecasting and Diagnosing Energy Usage.	ICDM Workshops	2014	DBLP DOI BibTeX RDF
29	Ramla Saddem, Alexandre Philippot	Causal Temporal Signature from diagnoser model for online diagnosis of Discrete Event Systems.	CoDIT	2014	DBLP DOI BibTeX RDF
29	Wen-Chiao Lin, Humberto E. Garcia, Tae-Sic Yoo	A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization.	Discret. Event Dyn. Syst.	2013	DBLP DOI BibTeX RDF
29	K. Jayashree, Sheila Anand	Web Service Diagnoser Model for managing faults in web services.	Comput. Stand. Interfaces	2013	DBLP DOI BibTeX RDF
29	Marcos Vicente Moreira, Felipe Gomes Cabral, Oumar Diene	Petri net diagnoser for DES modeled by finite state automata.	CDC	2012	DBLP DOI BibTeX RDF
29	Massimo Ficco, Luigi Romano	A Generic Intrusion Detection and Diagnoser System Based on Complex Event Processing.	CCP	2011	DBLP DOI BibTeX RDF
29	Mohammed Ibrahim Alodib	Creation, integrating and deployment of diagnoser for web services.		2011	RDF
29	Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez	Fault diagnoser design for untimed continuous Petri nets.	CCA/ISIC	2009	DBLP DOI BibTeX RDF
29	Wen-Chiao Lin, Humberto E. Garcia, David Thorsley, Tae-Sic Yoo	Sequential window diagnoser for discrete-event systems under unreliable observations.	Allerton	2009	DBLP DOI BibTeX RDF
29	Moamar Sayed Mouchaweh, Alexandre Philippot, Véronique Carré-Ménétrier, Bernard Riera 0001	Timed-Event-State-Based Diagnoser for Manufacturing Systems.	BASYS	2006	DBLP DOI BibTeX RDF
29	Peng Zhao, Ardavan Amini, Mohsen A. Jafari	A Failure/Fault Diagnoser Model for Autonomous Agents under Presence of Disturbances.	SMC	2006	DBLP DOI BibTeX RDF
29	José Ferreira de Castro, Luís Moniz Pereira	Abductive Validation of a Power-Grid Expert System Diagnoser.	IEA/AIE	2004	DBLP DOI BibTeX RDF	Expert Systems
29	Carlos Alonso González, Belarmino Pulido Junquera, G. Acosta Lazo	TURBOLID: Time Use in A Rule Based On Line Industrial Diagnoser.	IEA/AIE	1996	DBLP BibTeX RDF
18	Fei Xue, Lu Yan	Formal approach to fault diagnosis in distributed discrete event systems with OBDD.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Petri net, Fault diagnosis, Discrete event system, OBDD
18	Erdal Kiliç, Okan Ozgonenel, Mustafa Ulutas	Fault Identification in Transformers through a Fuzzy Discrete Event System Approach.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
18	Yuhong Yan, Philippe Dague	Modeling and Diagnosing OrchestratedWeb Service Processes.	ICWS	2007	DBLP DOI BibTeX RDF
18	Amogh Dhamdhere, Renata Teixeira, Constantine Dovrolis, Christophe Diot	NetDiagnoser: troubleshooting network unreachabilities using end-to-end probes and routing data.	CoNEXT	2007	DBLP DOI BibTeX RDF
18	Franck Cassez, Stavros Tripakis, Karine Altisen	Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems.	TASE	2007	DBLP DOI BibTeX RDF
18	Claus Zinn	Supporting Tutorial Feedback to Student Help Requests and Errors in Symbolic Differentiation.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
18	Karine Altisen, Franck Cassez, Stavros Tripakis	Monitoring and fault-diagnosis with digital clocks	ACSD	2006	DBLP DOI BibTeX RDF
18	Emilio García 0001, Antonio Correcher Salvador, Francisco José Morant Anglada, Eduardo Quiles 0001, Ramón Blasco Giménez	Modular Fault Diagnosis Based on Discrete Event Systems.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	fault diagnosis, discrete event systems, large scale systems
18	Feng Zhao 0001, Xenofon D. Koutsoukos, Horst W. Haussecker, James Reich, Patrick Cheung	Monitoring and fault diagnosis of hybrid systems.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
18	Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza	Fault Diagnosis Using Timed Automata.	FoSSaCS	2005	DBLP DOI BibTeX RDF
18	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
18	YuanLin Wen, MuDer Jeng	Diagnosability of Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
18	Armen Aghasaryan, Claude Jard, Julien Thomas	UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks.	ICT	2004	DBLP DOI BibTeX RDF
18	Sahika Genc, Stéphane Lafortune	Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
18	Janusz A. Brzozowski, Helmut Jürgensen	A model for sequential machine testing and diagnosis.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	Markov chains, Diagnosis, fault models, random testing, sequential machines