Search results for "Controllability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Long Wang 0001, Fangcui Jiang, Guangming Xie, Zhijian Ji	Controllability of multi-agent systems based on agreement protocols.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	structural controllability, high-order dynamic agents, multi-agent systems, graphs, controllability, agreement protocols
76	Jessica Chen, Lihua Duan	Conditions for Avoiding Controllability Problems in Distributed Testing.	ICFEM	2006	DBLP DOI BibTeX RDF	unique input/output sequence, controllability, finite state machine, Conformance testing, test sequence
74	Piermarco Cannarsa, Genni Fragnelli, Judith Vancostenoble	Linear Degenerate Parabolic Equations in Bounded Domains: Controllability and Observability.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	linear degenerate equations, regional null controllability, persistent regional null controllability
74	Sergei V. Ulyanov, Shin Watanabe, Viktor S. Ulyanov, Kazuo Yamafuji, Ludmila V. Litvintseva, Gianguido G. Rizzotto	Soft computing for the intelligent robust control of a robotic unicycle with a new physical measure for mechanical controllability.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Soft computing algorithms, Intelligent robot unicycle, Posture stability, Entropy measure of controllability, Controllability, Fuzzy control, Robust control, Biomechanical model
74	Santonu Sarkar, Anupam Basu, Arun K. Majumdar	Analyzing Controllability of a Hardware Circuit for its Reuse.	VLSI Design	1997	DBLP DOI BibTeX RDF	hardware circuit controllability, external controllability, FSM model, finite state machines, finite state machine model
66	Lianwen Wang	Approximate controllability results of semilinear integrodifferential equations with infinite delays.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	approximate controllability, semilinear control systems, integrodifferential equations, infinite delays
59	Xiyun Yang, Xiaojuan Han, Yibing Liu, Daping Xu	Controllability Analysis Based on Bond Graph.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
59	Guangming Xie, Long Wang 0001	Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems.	HSCC	2005	DBLP DOI BibTeX RDF
57	Zhaoqiang Ge 0001, Guangtian Zhu, Dexing Feng	Exact controllability for singular distributed parameter system in Hilbert space.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	exact controllability, singular distributed parameter system, Hilbert space
55	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
53	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
53	Thierry Vidal, Hélène Fargier	Contingent Durations in Temporal CSPs: From Consistency to Controllabilities.	TIME	1997	DBLP DOI BibTeX RDF	temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic
50	Yutaka Yamamoto, Jan C. Willems	Behavioral controllability and coprimeness for a class of infinite-dimensional systems.	CDC	2008	DBLP DOI BibTeX RDF
50	Koichi Hamamoto, Hiroshi Fuketa, Masanori Hashimoto, Yukio Mitsuyama, Takao Onoye	Experimental study on body-biasing layout style-- negligible area overhead enables sufficient speed controllability --.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	layout, body bias
50	Xiaorui Wang, Yingming Chen, Chenyang Lu 0001, Xenofon D. Koutsoukos	On Controllability and Feasibility of Utilization Control in Distributed Real-Time Systems.	ECRTS	2007	DBLP DOI BibTeX RDF
50	Guangming Xie, Long Wang 0001	Controllability of periodically switched linear systems with saturating actuators.	SMC (2)	2004	DBLP DOI BibTeX RDF
50	Benjamin W. Wah, Dong Xin	Optimization of Bounds in Temporal Flexible Planning with Dynamic Controllability.	ICTAI	2004	DBLP DOI BibTeX RDF
50	Guangming Xie, Long Wang 0001	Reachability and Controllability of Positive Linear Discrete-time Systems with Time-delays.	POSTA	2003	DBLP DOI BibTeX RDF
48	Daowen Qiu	Supervisory control of fuzzy discrete event systems: a formal approach.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
47	Frank F. Hsu, Janak H. Patel	High-Level Controllability and Observability Analysis for Test Synthesis.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	controllability, observability, high-level test synthesis, behavioral modification
45	Jean-Claude Latombe	Controllability, Recognizability, and Complexity Issues in Robot Motion Planning.	FOCS	1995	DBLP DOI BibTeX RDF	complexity issues, many-degree-of-freedom robots, computational complexity, computational complexity, mobile robots, controllability, controllability, path planning, path planning, random sampling, autonomous robots, robot motion planning, recognizability
43	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
43	Lakshminarayana Pappu, Michael L. Bushnell, Vishwani D. Agrawal, Mandyam-Komar Srinivas	Statistical path delay fault coverage estimation for synchronous sequential circuits.	VLSI Design	1996	DBLP DOI BibTeX RDF	path delay fault coverage estimation, multi-valued algebra, signal statistics, latch updating, fault diagnosis, logic testing, delays, probability, controllability, controllability, statistical analysis, sequential circuits, observability, observabilities, logic simulation, synchronous sequential circuits, statistical estimation
43	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
43	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
43	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
40	Pål Liljebäck, Kristin Ytterstad Pettersen, Øyvind Stavdahl, Jan Tommy Gravdahl	Controllability analysis of planar snake robots influenced by viscous ground friction.	IROS	2009	DBLP DOI BibTeX RDF
40	Carlo Combi, Roberto Posenato	Controllability in Temporal Conceptual Workflow Schemata.	BPM	2009	DBLP DOI BibTeX RDF
40	Zhijian Ji, Hai Lin 0002, Tong Heng Lee	Controllability of Multi-agent Systems with Switching Topology.	RAM	2008	DBLP DOI BibTeX RDF
40	M. Kanat Camlibel, W. P. M. H. Heemels, Johannes M. Schumacher	On the Controllability of Bimodal Piecewise Linear Systems.	HSCC	2004	DBLP DOI BibTeX RDF
40	Darko Kirovski, Miodrag Potkonjak, Lisa M. Guerra	Improving the observability and controllability of datapaths foremulation-based debugging.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
40	Hanns-Jakob Sommer, Hubert Hahn	Global Structural Approximate Controllability of Polynominal Nonlinear Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
38	Karsten Wolf	Does My Service Have Partners?.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
38	Hang Yu	Null controllability for a fourth order parabolic equation.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	fourth order parabolic equations, null controllability, Lebeau-Rabbiano inequality
38	YiMin Sun, ShengWei Mei, Qiang Lu	On global controllability of affine nonlinear systems with a triangular-like structure.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	affine nonlinear systems, global controllability, vector field
38	Jin Han Park, Jong Seo Park, Young Chel Ahn, Young Chel Kwun	Controllability for the Impulsive Semilinear Fuzzy Integrodifferential Equations.	ICFIE	2007	DBLP DOI BibTeX RDF	Impulsive semilinear fuzzy integrodifferential equations, Controllability
38	Chuang Lin 0002, Xuehai Peng	Research on Network Architecture with Trustworthiness and Controllability.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	security, controllability, cross layer, network architecture, trustworthiness
38	Freddy Y. C. Mang, Pei-Hsin Ho	Abstraction refinement by controllability and cooperativeness analysis.	DAC	2004	DBLP DOI BibTeX RDF	formal verification, controllability, cooperativeness, abstraction refinement
38	Naotake Kamiura, Yutaka Hata, Nobuyuki Matsui	Controllability/Observability Measures for Multiple-Valued Test Generation Based on D-Algorithm.	ISMVL	2000	DBLP DOI BibTeX RDF	controllability measure, observability measure, test generation, multiple-valued logic, D-algorithm
36	Robert M. Hierons, Florentin Ipate	Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Testing, Controllability, Non-determinism, Stream X-machine
36	Niels Lohmann	Why Does My Service Have No Partners?.	WS-FM	2008	DBLP DOI BibTeX RDF	partner synthesis, verification, Controllability, diagnosis
36	Hasan Ural, Craig Williams	Constructing checking sequences for distributed testing.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence
36	Abdelaâziz 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
36	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
36	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
36	Christos A. Papachristou, Mikhail Baklashov	A test synthesis technique using redundant register transfers.	ICCAD	1997	DBLP DOI BibTeX RDF	behavioral variables, conditional statements, redundant register transfers, structural signals, test synthesis technique, testability metrics, graph theory, logic testing, controllability, high level synthesis, VHDL, observability, fault coverage, data path, hardware overhead, behavioral descriptions
34	Marie-Lise Flottes, Christian Landrault, A. Petitqueux	Design for sequential testability: an internal state reseeding approach for 100 % fault coverage.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	sequential testability, internal state reseeding, observation points, minimum DFT insertion, non-scan approach, fault efficiency, 100 percent, fault diagnosis, logic testing, controllability, controllability, design for testability, logic design, sequential circuits, automatic test pattern generation, ATPG, observability, fault coverage, flip-flops, at-speed testing, benchmark circuits, CPU time, partial reset
30	Zhiwu Li 0001, Mi Zhao	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
30	Ramyanshu Datta, Ravi Gupta, Antony Sebastine, Jacob A. Abraham, Manuel A. d'Abreu	Controllability of Static CMOS Circuits for Timing Characterization.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Design for test, Delay fault testing, Scan design
30	Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez	On Controllability of Timed Continuous Petri Nets.	HSCC	2008	DBLP DOI BibTeX RDF
30	Akira Ichikawa	Null controllability with vanishing energy for discrete-time systems in Hilbert space.	CDC	2008	DBLP DOI BibTeX RDF
30	Cesar O. Aguilar, Andrew D. Lewis	Jet bundles and algebro-geometric characterisations for controllability of affine systems.	CDC	2008	DBLP DOI BibTeX RDF
30	Rabah Rabah, Grigory M. Sklyar	Exact controllability of linear neutral type systems by the moment problem approach.	CDC	2008	DBLP DOI BibTeX RDF
30	Zhijian Ji, Hai Lin 0002, Tong Heng Lee	A graph theory based characterization of controllability for multi-agent systems with fixed topology.	CDC	2008	DBLP DOI BibTeX RDF
30	Thomas Chambrion, Paolo Mason, Mario Sigalotti, Ugo V. Boscain	Controllability properties of discrete-spectrum Schrödinger equations.	CDC	2008	DBLP DOI BibTeX RDF
30	Meili Li, Chunhai Kou, Yongrui Duan	Controllability of Semilinear Impulsive Differential Equations with Nonlocal Conditions.	ICIC (1)	2008	DBLP DOI BibTeX RDF
30	Bo Liu 0007, Jietao Zou, Jie Zhang 0014, Tianguang Chu, Long Wang 0001	Controllability of a Leader-Follower Dynamic Network with Interaction Time Delays.	FSKD (5)	2008	DBLP DOI BibTeX RDF
30	Danielle Sami Nasrallah, Hannah Michalska, Jorge Angeles	Controllability and Posture Control of a Wheeled Pendulum Moving on an Inclined Plane.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
30	Charles H.-P. Wen, Li-C. Wang, Jayanta Bhadra	An incremental learning framework for estimating signal controllability in unit-level verification.	ICCAD	2007	DBLP DOI BibTeX RDF
30	Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith	Strong Controllability of Disjunctive Temporal Problems with Uncertainty.	CP	2007	DBLP DOI BibTeX RDF
30	Riccardo Rosati 0001	On the decidability and finite controllability of query processing in databases with incomplete information.	PODS	2006	DBLP DOI BibTeX RDF
30	Kai Chen 0009, Fan Jiang 0005, 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
30	Dang Toan Nguyen, Didier Georges	Controllability Gramian for Optimal Placement of Power System Stabilizers in Power Systems.	APCCAS	2006	DBLP DOI BibTeX RDF
30	Shingo Shimoda, Andreas Wingert, Kei Takahashi, Takashi Kubota, Ichiro Nakatani	Hopping Direction Controllability for Small Body Exploration Robot.	ICRA	2004	DBLP DOI BibTeX RDF
30	Francisco A. Melo, M. Isabel Ribeiro, Pedro U. Lima	Navigation Controllability of a Mobile Robot Population.	RoboCup	2004	DBLP DOI BibTeX RDF
30	Yang Xiao	Stability, controllability and observability of 2-D continuous-discrete systems.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
30	Anthony Jameson, Eric Schwarzkopf	Pros and Cons of Controllability: An Empirical Study.	AH	2002	DBLP DOI BibTeX RDF
30	Samira El Yacoubi, Abdelhaq El Jai, Nezha Ammor	Regional Controllability with Cellular Automata Models.	ACRI	2002	DBLP DOI BibTeX RDF
30	Ekaterina S. Lemch, Shankar Sastry 0001, Peter E. Caines	Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings.	HSCC	2001	DBLP DOI BibTeX RDF
30	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
30	Frederic J. Mowle	Controllability of Nonlinear Sequential Networks.	J. ACM	1970	DBLP DOI BibTeX RDF
29	Xiao-dong Sun, Hong-Bin Zhang	A Fast Hole-filling Strategy of 3D Scanned Human Body.	CGIV	2009	DBLP DOI BibTeX RDF
29	David L. Russell	The Betti reciprocity principle and the normal boundary component control problem for linear elastic systems.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	AMS-MOS Classifications 74B05, 74G10, 74G75, 93C55
29	Robert M. Hierons	Testing in the Distributed Test Architecture: An Extended Abstract.	QSIC	2008	DBLP DOI BibTeX RDF
29	Matthias M. Müller	The Effect of Test-Driven Development on Program Code.	XP	2006	DBLP DOI BibTeX RDF
29	Jessica Chen, Lihua Duan	Optimal Synchronizable Test Sequence from Test Segments.	QSIC	2006	DBLP DOI BibTeX RDF	unique input/output sequence, finite state machine, conformance testing, test sequence, distributed testing
29	Seog-Hwan Yoo, Byung-Jae Choi	A Balanced Model Reduction for T-S Fuzzy Systems with Integral Quadratic Constraints.	FSKD (1)	2005	DBLP DOI BibTeX RDF
29	Sunil S. Shah, K. P. Madhavan	Design of Controllable Batch Processes in the Presence of Uncertainty.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	batch equipment design, generalized Benders decomposition, dynamic optimization
29	Erik Jan Marinissen	Security vs. Test Quality: Can We Really Only Have One at a Time?	ITC	2004	DBLP DOI BibTeX RDF
29	Seog-Hwan Yoo, Byung-Jae Choi	A Balanced Model Reduction for T-S Fuzzy Systems with Uncertain Time Varying Parameters.	CIS	2004	DBLP DOI BibTeX RDF
29	Hasan Ural, Craig Williams	Generating Checking Sequences for a Distributed Test Architecture.	TestCom	2003	DBLP DOI BibTeX RDF
29	Shou-Kang Wei, Fay Huang, Reinhard Klette	The Design of a Stereo Panorama Camera for Scenes of Dynamic Range.	ICPR (3)	2002	DBLP DOI BibTeX RDF
29	Samir Boubezari, Eduard Cerny, Bozena Kaminska, Benoit Nadeau-Dostie	Testability analysis and test-point insertion in RTL VHDL specifications for scan-based BIST.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
29	M. Ladjadj, John F. McDonald 0001, D.-H. Ho, W. Murray Jr.	Use of the subscripted DALG in submodule testing with applications in cellular arrays.	DAC	1986	DBLP DOI BibTeX RDF
29	Sanjay J. Patel, Janak H. Patel	Effectiveness of heuristics measures for automatic test pattern generation.	DAC	1986	DBLP DOI BibTeX RDF
28	Bo Song, Weibing Yang, Mingyu Chen 0001, Xiaofang Zhao, Jianping Fan 0002	Achieving Flow-Level Controllability in Network Intrusion Detection System.	SNPD	2010	DBLP DOI BibTeX RDF	flow-driven, ATEP, crash detection, quick crash recovery, controllability
28	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
28	Young Chel Kwun, Ye Bun Kim, Jong Seo Park, Jin Han Park	Controllability for the Impulsive Semilinear Fuzzy Intergrodifferential Equation in n-Dimension Fuzzy Vector Space.	FSKD (6)	2009	DBLP DOI BibTeX RDF	impulsive semilinear fuzzy intergrodifferential control system, fuzzy vector space, controllability
28	Luke Hunsberger	Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies.	TIME	2009	DBLP DOI BibTeX RDF	temporal networks, dynamic controllability
28	Shaoji Feng, Dexing Feng	Exact internal controllability for shallow shells.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	shallow shell, exact internal controllability, piecewise multiplier, Riemannian manifold
28	Jacob Savir	Good Controllability and Observability Do Not Guarantee Good Testability.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	Controllability, observability, random testing, testability, deterministic testing
26	Jaeheok Ryu, Gyohyeon Song, Seongil Lee, Yoonhyung Cho, Gyouhyung Kyung, Hyungkee Kim, Kyungkuk Baek	Improving in-Vehicle Display and Control Design for Older Drivers.	HCI (15)	2009	DBLP DOI BibTeX RDF	older driver, automobile interior, automotive ergonomics, controllability, visibility
26	Fabian Hermann, Roland Blach, Doris Janssen, Thorsten Klein, Andreas Schuller, Dieter Spath	Challenges for User Centered Smart Environments.	HCI (3)	2009	DBLP DOI BibTeX RDF	system autonomy, privacy, mixed reality, adaptive systems, social software, smart environments, semantic technology, digital identity, user controllability
26	Benoit Gaudin, Hervé Marchand	An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems
26	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
26	Shigemasa Takai, Toshimitsu Ushio	Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control
26	Wolfgang Reisig, Karsten Schmidt 0004, Christian Stahl	Kommunizierende Workflow-Services modellieren und analysieren.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Open workflow nets, Workflow services, Petri nets, Controllability, BPEL
26	Chun-Lung Hsu	Control and Observation Structure for Analog Circuits with Current Test Data.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	current store cell (CSC), controllability, observability, analog circuit, current-mode
26	Hsu-Chun Yen, Lien-Po Yu	Dependability Analysis of a Class of Probabilistic Petri Nets.	PRDC	2004	DBLP DOI BibTeX RDF	probabilistic Petri net, verification, Controllability, self-stabilization, reachability
26	Omar Rafiq, Leo Cacciari	Coordination Algorithm for Distributed Testing.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	test coordination procedures, controllability, observability, distributed testing, testing architecture