Search results for "observability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Abdelkrim Nemra, Nabil Aouf	Robust Airborne 3D Visual Simultaneous Localization and Mapping with Observability and Consistency Analysis.	Journal of Intelligent and Robotic Systems	2009	DBLP DOI BibTeX RDF	EKF SLAM, NH? SLAM, Loop closure, Map management, Consistency, Observability, Stereo vision, Unmanned aerial vehicle, Simultaneous localization and mapping
3	Jason Cong, Bin Liu 0006, Zhiru Zhang	Behavior-level observability don't-cares and application to low-power behavioral synthesis.	ISLPED	2009	DBLP DOI BibTeX RDF	low power, observability, behavioral synthesis
3	Mohamed Ait Mansour	On the perturbation of the observability equation in linear control systems.	J. Global Optimization	2008	DBLP DOI BibTeX RDF	Linear control systems, Quantitative stability, Observability, Perturbation, Ordinary differential equations
3	Tao Lv, Jianping Fan 0002, Xiaowei Li 0001, Ling-Yi Liu	Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.	J. Electronic Testing	2006	DBLP DOI BibTeX RDF	dynamic factored use-definition chains, observability, data-flow analysis, design verification, coverage metrics
3	Antonia M. Sánchez, Francisco J. Montoya	Safe Supervisory Control Under Observability Failure.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Observability, Robust control, Supervisory control, Fault-tolerant control
3	Jessica Chen, Hasan Ural	Detecting Observability Problems in Distributed Testing.	TestCom	2006	DBLP DOI BibTeX RDF	distributed test architecture, testing, controllability, Finite state machine, observability
3	Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli	SAT sweeping with local observability don't-cares.	DAC	2006	DBLP DOI BibTeX RDF	SAT sweeping, and/inverter graphs, observability
3	Wei Lu, Xiu-Tao Yang, Tao Lv, Xiaowei Li 0001	An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	simulation, observability, design verification, coverage metrics, vector generation
3	Jessica Chen, Robert M. Hierons, Hasan Ural	Resolving Observability Problems in Distributed Test Architectures.	FORTE	2005	DBLP DOI BibTeX RDF	testing, controllability, Finite state machine, observability, test architecture
3	Nikhil Saluja, Sunil P. Khatri	A robust algorithm for approximate compatible observability don't care (CODC) computation.	DAC	2004	DBLP DOI BibTeX RDF	compatible observability don't cares (CODC), multi-level logic optimization, logic synthesis
3	Marc Joye, Jean-Jacques Quisquater, Sung-Ming Yen, Moti Yung	Observability Analysis - Detecting When Improved Cryptosystems Fail.	CT-RSA	2002	DBLP DOI BibTeX RDF	robustness, cryptanalysis, implementations, side-channel attacks, observability, Security analysis, fault analysis, cryptosystems
3	Alexandre Sedoglavic	A probabilistic algorithm to test local algebraic observability in polynomial time.	ISSAC	2001	DBLP DOI BibTeX RDF	seminumerical algorithm, observability, identifiability
3	Naotake Kamiura, Yutaka Hata, Nobuyuki Matsui	Controllability/Observability Measures for Multiple-Valued Test Generation Based on D-Algorithm. (PDF / PS)	ISMVL	2000	DBLP DOI BibTeX RDF	controllability measure, observability measure, test generation, multiple-valued logic, D-algorithm
3	Yin-He Su, Ching-Hwa Cheng, Shih-Chieh Chang	Novel techniques for improving testability analysis.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	closed-form formulation, implication reasoning, TAIR, tree-structured circuit, logic testing, logic testing, controllability, controllability, built-in self test, automatic test pattern generation, BIST, observability, observability, stuck-at fault, shift registers, testability analysis, test patterns
3	Ruofan Xu, Michael S. Hsiao	Embedded core testing using genetic algorithms.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	gate level implementation, user defined logic, random inputs, high level benchmarks, wrapper size, genetic algorithms, genetic algorithms, fault diagnosis, logic testing, controllability, controllability, high level synthesis, automatic test pattern generation, observability, observability, application specific integrated circuits, fault coverage, SOC, test application time, test patterns, embedded core testing, internal state
3	Frank F. Hsu, Janak H. Patel	High-Level Controllability and Observability Analysis for Test Synthesis.	J. Electronic Testing	1998	DBLP DOI BibTeX RDF	controllability, observability, high-level test synthesis, behavioral modification
3	S. Lavabre, Yves Bertrand, Michel Renovell, Christian Landrault	Test configurations to enhance the testability of sequential circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	shift operation, scan register, test operation, modified flip-flops, ISCAS89 benchmarks, multiconfiguration, triconfiguration, dynamic generation, logic testing, controllability, design for testability, design for testability, sequential circuits, sequential circuits, observability, observability, DFT, fault coverage, flip-flops, minimisation, scan designs, test application time, test vector
3	Michel Renovell, Florence Azaïs, Yves Bertrand	A design-for-test technique for multistage analog circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	design-for-test technique, multistage analog circuits, DFT approach, op-amp-based modules, testability resources, transparent paths, external I/O, local I/O, test mode, on-chip digital resources, analog response penalty, controllability, controllability, integrated circuit testing, design for testability, observability, observability, mixed-signal circuits, mixed analogue-digital integrated circuits, test management, production testing
3	Yeong-Ruey Shieh, Cheng-Wen Wu	DC control and observation structures for analog circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	level-sensitive scan-design, test points, DC voltage levels, diagnosis capability, calibration process, read-out voltage levels, VLSI, VLSI, fault diagnosis, controllability, controllability, integrated circuit testing, calibration, observability, observability, analog circuits, mixed signal circuits, mixed analogue-digital integrated circuits
3	C. P. Ravikumar, Hemant Joshi	HISCOAP: a hierarchical testability analysis tool.	VLSI Design	1995	DBLP DOI BibTeX RDF	HISCOAP, hierarchical testability analysis tool, SCOAP measure, gate-level netlist, SCOAP expression diagrams, VLSI, logic testing, controllability, controllability, sequential circuits, sequential circuits, combinational circuits, combinational circuits, observability, observability, circuit analysis computing, integrated logic circuits, VLSI circuits, functional modules, stuck at fault model
3	Mohamed Soufi, Yvon Savaria, Bozena Kaminska	On the design of at-speed testable VLSI circuits.	VTS	1995	DBLP DOI BibTeX RDF	at-speed testable circuits, testable VLSI circuits, application test time, parallel vectors, stuck-at test, observability problems, probe observation point, VLSI, logic testing, integrated circuit testing, design for testability, design-for-testability, logic design, sequential circuits, sequential circuits, observability, fault coverages, integrated circuit design, integrated logic circuits, operational speed, DFT technique
2	Jong Chul Lee, Andrew S. Gardner, Roman Lysecky	Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems.	ECBS	2011	DBLP DOI BibTeX RDF	online system monitoring, verification, testing, validation, observability
2	Raza Abbas Syed, Brian Robinson, Laurie A. Williams	Does Hardware Configuration and Processor Load Impact Software Fault Observability?	ICST	2010	DBLP DOI BibTeX RDF	failure observability, Software testing, empirical study, observation-based testing
2	Sébastien Salva, Issam Rabhi	A BPEL Observability Enhancement Method.	ICWS	2010	DBLP DOI BibTeX RDF	enhancement methods, observability, BPEL, testability
2	Martin T. Vechev, Eran Yahav, Greta Yorsh	Inferring Synchronization under Limited Observability.	TACAS	2009	DBLP DOI BibTeX RDF
2	Yuan Lin, Oleg Mazurov	Providing Observability for OpenMP 3.0 Applications.	IWOMP	2009	DBLP DOI BibTeX RDF
2	Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli	Observability and Controllability Issues in Conformance Testing of Web Service Compositions.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	observability and controllability, verdict testing report, Web Service composition, Conformance testing
2	Linthotage Dushantha Lochana Perera, Eric Nettleton	On the nonlinear observability and the information form of the SLAM problem.	IROS	2009	DBLP DOI BibTeX RDF
2	Gian Luca Mariottini, Simone Martini, Magnus Egerstedt	A switching active sensing strategy to maintain observability for vision-based formation control.	ICRA	2009	DBLP DOI BibTeX RDF
2	Agostino Martinelli	Local decomposition and observability properties for automatic calibration in mobile robotics.	ICRA	2009	DBLP DOI BibTeX RDF
2	Radu Grosu	Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.	HSCC	2009	DBLP DOI BibTeX RDF
2	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
2	Faraz M. Mirzaei, Stergios I. Roumeliotis	A Kalman Filter-Based Algorithm for IMU-Camera Calibration: Observability Analysis and Performance Evaluation.	IEEE Transactions on Robotics	2008	DBLP DOI BibTeX RDF
2	Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva	On Observability and Design of Observers inTimed Continuous Petri Net Systems.	IEEE T. Automation Science and Engineering	2008	DBLP DOI BibTeX RDF
2	Carlos Bielsa Campos, Harish J. Palanthandalam-Madapusi	Delayed input and state observability.	CDC	2008	DBLP DOI BibTeX RDF
2	Sabeur Ammar, Mohamed Mabrouk, Jean-Claude Vivalda	On the genericity of the differential observability of controlled discrete-time systems.	CDC	2008	DBLP DOI BibTeX RDF
2	Arthur J. Krener	Observability of vortex flows.	CDC	2008	DBLP DOI BibTeX RDF
2	Daniel Zelazo, Mehran Mesbahi	On the observability properties of homogeneous and heterogeneous networked dynamic systems.	CDC	2008	DBLP DOI BibTeX RDF
2	Rogelio Lozano, Mark W. Spong, Jose Alfredo Guerrero Mata, Nikhil Chopra	Controllability and observability of leader-based multi-agent systems.	CDC	2008	DBLP DOI BibTeX RDF
2	Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton	Merging nodes under sequential observability.	DAC	2008	DBLP DOI BibTeX RDF	synthesis, observable, merge, sequential
2	Yu Sun 0004, John M. Hollerbach	Observability index selection for robot calibration.	ICRA	2008	DBLP DOI BibTeX RDF
2	Young Chel Kwun, Mi Ju Kim, Jong Seo Park, Jin Han Park	Continuously Initial Observability for the Semilinear Fuzzy Integrodifferential Equations.	FSKD	2008	DBLP DOI BibTeX RDF
2	Xiuqin Wang, Hao Wang, Guangsheng Ma	Hybrid SAT Solver Considering Circuit Observability.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Laura Brandán Briones, Alexander Lazovik, Philippe Dague	Optimizing the System Observability Level for Diagnosability.	ISoLA	2008	DBLP DOI BibTeX RDF
2	Luis I. Aguirre-Salas, Alejandra Santoyo-Sanchez	Observability analysis of interpreted Petri nets under partial state observations using estimations reachability graph.	ETFA	2008	DBLP DOI BibTeX RDF
2	Xiao-Yong Wei, Chong-Wah Ngo	Fusing semantics, observability, reliability and diversity of concept detectors for video search.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	concept-based video search, detector selection and fusion
2	Manel Khlif, Mohamed Shawky	Observability Checking to Enhance Diagnosis of Real Time Electronic Systems.	DS-RT	2008	DBLP DOI BibTeX RDF
2	Mohammad Abdullah Al Faruque, Thomas Ebi, Jörg Henkel	ROAdNoC: runtime observability for an adaptive network on chip architecture.	ICCAD	2008	DBLP DOI BibTeX RDF
2	Chunbo Chu, Monica Brockmeyer	Predicate Detection Modality and Semantics in Three Partially Synchronous Models.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Semantics, Observability, Modality, Partial synchrony, Predicate detection
2	Xiuqin Wang, Guangsheng Ma, Hao Wang	A Novel Method for All Solutions SAT Problem.	SNPD	2008	DBLP DOI BibTeX RDF	All Solutions, Observability Don't Cares, Circuit Structure, Boolean Satisfiability
2	Robert M. Hierons, Hasan Ural	Checking sequences for distributed test architectures.	Distributed Computing	2008	DBLP DOI BibTeX RDF	Distributed test architecture, Coordination problems, Observability problems, Testing, Checking sequence
2	T. Z. Boulmezaoud, José M. Urquiza	On The Eigenvalues of the Spectral Second Order Differentiation Operator and Application to the Boundary Observability of the Wave Equation.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	2000 Mathematics Subject Classification 65N35, 93B07, 93B60, 65D05, 65F15
2	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	Observability Analysis on HDL Descriptions for Effective Functional Validation.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
2	Mohammad Rezaeian	Sensor Scheduling for Optimal Observability Using Estimation Entropy.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
2	Bin Xu, Daniel J. Stilwell, Aditya S. Gadre, Andrew Kurdila	Analysis of local observability for feature localization in a maritime environment using an omnidirectional camera.	IROS	2007	DBLP DOI BibTeX RDF
2	Teresa A. Vidal-Calleja, Mitch Bryson, Salah Sukkarieh, Alberto Sanfeliu, Juan Andrade-Cetto	On the Observability of Bearing-only SLAM.	ICRA	2007	DBLP DOI BibTeX RDF
2	Robert Bodor, Andrew Drenner, Paul R. Schrater, Nikolaos Papanikolopoulos	Optimal Camera Placement for Automated Surveillance Tasks.	Journal of Intelligent and Robotic Systems	2007	DBLP DOI BibTeX RDF	Robot/camera placement, Vision-based robotics, Optimization, Sensor networks, Observability, Camera networks
2	Liang Zhang, Indradeep Ghosh, Michael S. Hsiao	A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Y. Cao, M. Ying	Observability and Decentralized Control of Fuzzy Discrete-Event Systems.	IEEE T. Fuzzy Systems	2006	DBLP DOI BibTeX RDF
2	Tomas Pecenka, Josef Strnadel, Zdenek Kotásek, Lukás Sekanina	Testability Estimation Based on Controllability and Observability Parameters.	DSD	2006	DBLP DOI BibTeX RDF
2	Daijue Tang, Sharad Malik	Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.	SAT	2006	DBLP DOI BibTeX RDF
2	Kai Chen 0005, Fan Jiang, Chuan-dong Huang, Zongyao Tang, Yang Qin	Testing a Distributed System: Generating Test Sequences without Potential Controllability and Observability Problems.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
2	Kwang Wee Lee, W. Sardha Wijesoma, Javier Ibanez Guzman	On the Observability and Observability Analysis of SLAM.	IROS	2006	DBLP DOI BibTeX RDF
2	Sean Safarpour, Andreas G. Veneris, Rolf Drechsler	Integrating observability don't cares in all-solution SAT solvers.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro	Observability of Hybrid Automata by Abstraction.	HSCC	2006	DBLP DOI BibTeX RDF
2	Alberto Finzi, Thomas Lukasiewicz	Game-Theoretic Agent Programming in Golog Under Partial Observability.	KI	2006	DBLP DOI BibTeX RDF
2	A. Bel Fekih, Abdelhaq El Jai	Regional Analysis of a Class of Cellular Automata Models.	ACRI	2006	DBLP DOI BibTeX RDF	Additive real-valued Cellular Automata, Regional controllability, Regional Observability, Sensors, Actuators
2	Hasan Ural, Craig Williams	Constructing checking sequences for distributed testing.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence
2	David Al-Dabass, David J. Evans, Manling Ren	Observability in Hybrid Multi Agent Recurrent Nets for Natural Language Processing.	HIS	2005	DBLP DOI BibTeX RDF	Hybrid recurrent nets, conditions for recognition, Kalman observer, multi agent architecture
2	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	An observability measure to enhance statement coverage metric for proper evaluation of verification completeness.	ASP-DAC	2005	DBLP DOI BibTeX RDF
2	Hajime Fujita, Shin Ishii	Model-based reinforcement learning for a multi-player card game with partial observability.	IAT	2005	DBLP DOI BibTeX RDF
2	Chris J. Dafis, Chika Nwankpa	Characteristics of Degree of Observability Measure for Nonlinear Power Systems.	HICSS	2005	DBLP DOI BibTeX RDF
2	Robert Bodor, Paul R. Schrater, Nikolaos Papanikolopoulos	Multi-camera positioning to optimize task observability.	AVSS	2005	DBLP DOI BibTeX RDF
2	Zhaohui Fu, Yinlei Yu, Sharad Malik	Considering Circuit Observability Don't Cares in CNF Satisfiability.	DATE	2005	DBLP DOI BibTeX RDF
2	Bei Gou	Observability analysis by measurement Jacobian matrix for state estimation.	ISCAS	2005	DBLP DOI BibTeX RDF
2	Mohamed Babaali, George J. Pappas	Observability of Switched Linear Systems in Continuous Time.	HSCC	2005	DBLP DOI BibTeX RDF
2	Jessica Andrea Carballido, Ignacio Ponzoni, Nélida Beatriz Brignole	A Novel Application of Evolutionary Computing in Process Systems Engineering.	EvoCOP	2005	DBLP DOI BibTeX RDF	Process-Plant Instrumentation Design, Observability Analysis, Multi-Objective Genetic Algorithm, Combinatorial Optimization Problem, PSE
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	Jessica Chen, Robert M. Hierons, Hasan Ural	Conditions for Resolving Observability Problems in Distributed Testing.	FORTE	2004	DBLP DOI BibTeX RDF
2	Juan Andrade-Cetto, Alberto Sanfeliu	The Effects of Partial Observability in SLAM.	ICRA	2004	DBLP DOI BibTeX RDF
2	Sherif G. Aly, Ashraf M. Salem	Observability-Based RTL Simulation using JAVA.	IWSOC	2004	DBLP DOI BibTeX RDF
2	Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva	On Observability in Timed Continuous Petri Net Systems.	QEST	2004	DBLP DOI BibTeX RDF
2	Mohamed Babaali, Magnus Egerstedt	Observability of Switched Linear Systems.	HSCC	2004	DBLP DOI BibTeX RDF
2	Pieter J. Collins, Jan H. van Schuppen	Observability of Piecewise-Affine Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
2	Chun-Lung Hsu	Control and Observation Structure for Analog Circuits with Current Test Data.	J. Electronic Testing	2004	DBLP DOI BibTeX RDF	current store cell (CSC), controllability, observability, analog circuit, current-mode
2	Tao Lv, Jianping Fan 0002, Xiaowei Li 0001	An Efficient Observability Evaluation Algorithm Based on Factored Use-Def Chains.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
2	Chris J. Dafis, Chika Nwankpa	Examining characteristics of an observability formulation for nonlinear power systems.	ISCAS	2003	DBLP DOI BibTeX RDF
2	Yang Xiao	Stability, controllability and observability of 2-D continuous-discrete systems.	ISCAS	2003	DBLP DOI BibTeX RDF
2	Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit	Timed Control with Partial Observability.	CAV	2003	DBLP DOI BibTeX RDF
2	René Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry	Observability of Linear Hybrid Systems.	HSCC	2003	DBLP DOI BibTeX RDF
2	Praveen Kumar Gopala, Hesham El Gamal	On the scaling laws of dense wireless sensor networks.	SenSys	2003	DBLP DOI BibTeX RDF	information-theoretic design, sensor cooperation, sourcechannel coding separation, observability, transport capacity
2	Omar Rafiq, Leo Cacciari	Coordination Algorithm for Distributed Testing.	The Journal of Supercomputing	2003	DBLP DOI BibTeX RDF	test coordination procedures, controllability, observability, distributed testing, testing architecture
2	Farzan Fallah, Pranav Ashar, Srinivas Devadas	Functional vector generation for sequential HDL models under an observability-based code coverage metric.	IEEE Trans. VLSI Syst.	2002	DBLP DOI BibTeX RDF
2	Chris J. Dafis, Chika O. Nwankpa	A nonlinear observability formulation for power systems incorporating generator dynamics.	ISCAS	2002	DBLP DOI BibTeX RDF
2	Michel Bidoit, Rolf Hennicker	On the Integration of Observability and Reachability Concepts.	FoSSaCS	2002	DBLP DOI BibTeX RDF
2	Anish Arora, Rajesh Jagannathan, Yi-Min Wang	Model-Based Fault Detection in Powerline Networking. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	hidden state, unobservable transitions, models, formal methods, fault detection, observability, network protocols, finite state automata, X10
2	Ahmed Khoumsi	A Temporal Approach for Testing Distributed Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	distributed systems, controllability, observability, Conformance testing, waiting time, reaction time
2	Stavros Tripakis	Fault Diagnosis for Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF	Fault diagnosis, Timed Automata, Partial observability
2	Farzan Fallah, Srinivas Devadas, Kurt Keutzer	OCCOM-efficient computation of observability-based code coveragemetrics for functional verification.	IEEE Trans. on CAD of Integrated Circuits and Systems	2001	DBLP DOI BibTeX RDF
2	Timothy Wheeler, Paul S. Graham, Brent E. Nelson, Brad L. Hutchings	Using Design-Level Scan to Improve FPGA Design Observability and Controllability for Functional Verification.	FPL	2001	DBLP DOI BibTeX RDF