Search results for "Boundedness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Peter Kemper, Falko Bause	An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
15	Irène Guessarian, Marcos Veloso Peixoto	About Boundedness for some DATALOG and DATALOG_neg Programs.	MFCS	1992	DBLP DOI BibTeX RDF
15	Paola Alimonti, Esteban Feuerstein, Umberto Nanni	Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets.	LATIN	1992	DBLP DOI BibTeX RDF
15	Jeffrey F. Naughton, Yehoshua Sagiv	A Simple Characterization of Uniform Boundedness for a Class of Recursions.	J. Log. Program.	1991	DBLP DOI BibTeX RDF
15	Annegret Habel, Hans-Jörg Kreowski, Walter Vogler	Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
15	Nicholas N. Vakhania	Gaussian mean boundedness of densely defined linear operators.	J. Complex.	1991	DBLP DOI BibTeX RDF
15	Alexander S. Kechris	Boundedness Theorems for Dilators and Ptykes.	Ann. Pure Appl. Log.	1991	DBLP DOI BibTeX RDF
15	Alexander S. Kechris, W. Hugh Woodin	A Strong Boundedness Theorem for Dilators.	Ann. Pure Appl. Log.	1991	DBLP DOI BibTeX RDF
15	Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi	Tools for Datalog Boundedness.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
15	Serge Abiteboul	Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
15	Lou van den Dries	Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields.	Ann. Pure Appl. Log.	1989	DBLP DOI BibTeX RDF
15	Tomohisa Suganuma, Kaoru Kurosawa, Ni Yongmao	A polynomial time validation method for channel boundedness of communication protocols (2 processes).	Syst. Comput. Jpn.	1989	DBLP DOI BibTeX RDF
15	Xi Wang, Lung-kee Chen	Proving the uniform boundedness of some commonly used control schemes for robots.	ICRA	1989	DBLP DOI BibTeX RDF
15	Tat-hung Chan	The Boundedness Problem for Three-Dimensional Vector Addition Systems with States.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
15	Serge Abiteboul, Victor Vianu	The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications.	JCDKB	1988	DBLP DOI BibTeX RDF
15	Jana Jurecková, Pranab Kumar Sen	An extension of Billingsley's uniform boundedness theorem to higher-dimensional M-processes.	Kybernetika	1987	DBLP BibTeX RDF
15	Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen	An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
15	Gerhard Jäger	A Boundedness Theorem In mathrmID1 (W).	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
15	Louis E. Rosier, Hsu-Chun Yen	Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
15	Louis E. Rosier, Hsu-Chun Yen	A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.	J. Comput. Syst. Sci.	1986	DBLP DOI BibTeX RDF
15	Gheorghe Paun	On Pariki-boundedness of matrix languages.	Bull. EATCS	1985	DBLP BibTeX RDF
15	Louis E. Rosier, Hsu-Chun Yen	A multiparameter analysis of the boundedness problem for vector addition systems.	FCT	1985	DBLP DOI BibTeX RDF
15	Erkki Mäkinen	Boundedness Testing for Unambiguous Context-Free Grammars.	Inf. Process. Lett.	1983	DBLP DOI BibTeX RDF
15	Takashi Yokomori, Aravind K. Joshi	Semi-Linearity, Parikh-Boundedness and Tree-Adjunct Languages.	Inf. Process. Lett.	1983	DBLP DOI BibTeX RDF
15	B. Ross Barmish, Ian R. Petersen, Arie Feuer	Linear ultimate boundedness control of uncertain dynamical systems.	Autom.	1983	DBLP DOI BibTeX RDF
15	John C. Kieffer	Characterizations of d -total boundedness for classes of B sources.	IEEE Trans. Inf. Theory	1982	DBLP DOI BibTeX RDF
15	Jean-Charles Pomerol	The boundedness of the Lagrange multipliers set and duality in mathematical programming.	Z. Oper. Research	1981	DBLP DOI BibTeX RDF
15	Wen-Chen Chen, Robert J. Fontana	On total boundedness for existence of weakly minimax universal codes.	IEEE Trans. Inf. Theory	1981	DBLP DOI BibTeX RDF
15	John L. Hickman	Boundedness Properties of Cardinals.	Math. Log. Q.	1979	DBLP DOI BibTeX RDF
15	Charles Rackoff	The Covering and Boundedness Problems for Vector Addition Systems.	Theor. Comput. Sci.	1978	DBLP DOI BibTeX RDF
15	George T. Diderrich	Local Boundedness and the Shannon Entropy	Inf. Control.	1978	DBLP DOI BibTeX RDF
15	Thomas G. Hallam	On Representation and Boundedness of Solutions of a Functional Differential Equation.	Math. Syst. Theory	1975	DBLP DOI BibTeX RDF
15	David Lowell Lovelady	On the Boundedness Properties of a Perturbed Nonlinear System.	Math. Syst. Theory	1975	DBLP DOI BibTeX RDF
15	George T. Diderrich	The Role of Boundedness in Characterizing Shannon Entropy	Inf. Control.	1975	DBLP DOI BibTeX RDF
11	Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura	Oscillation analysis of linearly coupled piecewise affine systems.	HSCC	2010	DBLP DOI BibTeX RDF	linearly coupled array, systems biology, large scale systems, oscillation, piecewise affine systems
11	Rodolfo García-Rodríguez, Vicente Parra-Vega	A Neuro-Sliding Mode Control Scheme for Constrained Robots with Uncertain Jacobian.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Constrained motion, Second order sliding mode, Chattering free, Jacobian uncertainty, Neural networks, Robot control
11	Saeed M. Hoseini, Mohammad Farrokhi	Neuro-Adaptive Output Feedback Control for a Class of Nonlinear Non-Minimum Phase Systems.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Nonlinear non-minimum phase system, Output feedback, Strictly positive real, Neural networks, Adaptive control
11	Peter Bürgisser, Felipe Cucker	Exotic Quantifiers, Complexity Classes, and Complete Problems.	Found. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 68Q17
11	Zhenyuan Guo, Lihong Huang	Global Output Convergence of a Class of Recurrent Delayed Neural Networks with Discontinuous Neuron Activations.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Recurrent delayed neural networks, Global output convergence, Discontinuous neuron activations, Time-varying inputs
11	Changyu Wang, Duan Li 0002	Unified theory of augmented Lagrangian methods for constrained global optimization.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Augmented Lagrangian function, Global optimization, Nonlinear programming, Global convergence, Nonconvex optimization, Saddle point, Duality theory
11	Sigal Gottlieb, David I. Ketcheson, Chi-Wang Shu	High Order Strong Stability Preserving Time Discretizations.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Multistep methods, Spectral deferred correction methods, Runge-Kutta methods, High order accuracy, Time discretization, Strong stability preserving
11	Imran A. Pirwani	Shifting Strategy for Geometric Graphs without Geometry.	ISAAC	2009	DBLP DOI BibTeX RDF
11	Chenguang Zhu, Weizhu Chen, Zeyuan Allen Zhu, Gang Wang 0010, Dong Wang 0022, Zheng Chen 0001	A general magnitude-preserving boosting algorithm for search ranking.	CIKM	2009	DBLP DOI BibTeX RDF	directed distance function (ddf), magnitude-preserving, pairwise-preference
11	Ming-Chih Chien, An-Chyau Huang	FAT-based adaptive visual servoing for robots with time varying uncertainties.	ICRA	2009	DBLP DOI BibTeX RDF
11	Amin Coja-Oghlan, Colin Cooper, Alan M. Frieze	An efficient sparse regularity concept.	SODA	2009	DBLP DOI BibTeX RDF
11	Zhijun Li 0001, Jun Luo, Lei Dai	Adaptive dynamic coupling control of human-symbiotic wheeled mobile manipulators with hybrid joints.	IROS	2009	DBLP DOI BibTeX RDF
11	Brendan J. Englot, Franz S. Hover	Stability and robustness analysis tools for marine robot localization and SLAM applications.	IROS	2009	DBLP DOI BibTeX RDF
11	Lei Wang 0035, Enmin Feng, Jianxiong Ye, Zhilong Xiu	Modeling and Properties of Nonlinear Stochastic Dynamical System of Continuous Culture.	Complex (1)	2009	DBLP DOI BibTeX RDF	Continuous Culture, Bioconversion, Nonlinear Stochastic System, Stochastic Simulation
11	Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko	Verifying liveness for asynchronous programs.	POPL	2009	DBLP DOI BibTeX RDF	asynchronous (event-driven) programming, fair termination, petri nets, liveness
11	Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer	Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.	FoSSaCS	2009	DBLP DOI BibTeX RDF
11	Jinming Liang, Qiankun Song	Global Passivity of Stochastic Neural Networks with Time-Varying Delays.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Passivity, Time-varying delays, Stochastic neural networks
11	Guanjun Li, Jin Xu	The Dahlquist Constant Approach to Stability Analysis of the Static Neural Networks.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Dahlquist constant, Static neural network, Exponential stability
11	Chunxue Wu, Bao Shi	Existence and Stability of Periodic Solutions for BAM Neural Networks with Time-Varying Delays and Impulses.	ISNN (1)	2009	DBLP DOI BibTeX RDF	BAM neural networks, coincidence degree, delays, periodic solutions, impulse
11	André van Cleeff, Wolter Pieters, Roel J. Wieringa	Security Implications of Virtualization: A Literature Study.	CSE (3)	2009	DBLP DOI BibTeX RDF
11	Juan de Lara, Esther Guerra	Formal Support for QVT-Relations with Coloured Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF
11	Min Wang 0003, Bing Chen 0001, Peng Shi 0001	Adaptive Neural Control for a Class of Perturbed Strict-Feedback Nonlinear Time-Delay Systems.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
11	Qinmin Yang, Sarangapani Jagannathan	A Suite of Robust Controllers for the Manipulation of Microscale Objects.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
11	Khanh Vu, Kien A. Hua, Hao Cheng 0001, Sheau-Dong Lang	Bounded Approximation: A New Criterion for Dimensionality Reduction Approximation in Similarity Search.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Information Search and Retrieval, Information Storage and Retrieval, Search process
11	Lubomira G. Softova	Singular integral operators in Morrey spaces and interior regularity of solutions to systems of linear PDE's.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) 35J45, 35K40, 35B45, 35B65, 35R05, 42B20, 46E35
11	L. Mauricio Graña Drummond, Nelson Maculan, Benar Fux Svaiter	On the choice of parameters for the weighting method in vector optimization.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C29, 65K99, 74P99
11	Roberto Andreani, Ernesto G. Birgin, José Mario Martínez, María Laura Schuverdt	Augmented Lagrangian methods under the constant positive linear dependence constraint qualification.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65K05, 65K10
11	Chandra R. Murthy, Jun Zheng 0001, Bhaskar D. Rao	Performance of Quantized Equal Gain Transmission With Noisy Feedback Channels.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
11	Alex S. Leong, Subhrakanti Dey, Jamie S. Evans	On Kalman Smoothing With Random Packet Loss.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
11	An-Min Zou, Zeng-Guang Hou, Min Tan 0001	Adaptive Control of a Class of Nonlinear Pure-Feedback Systems Using Fuzzy Backstepping Approach.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
11	Qing Song 0001, James C. Spall, Yeng Chai Soh, Jie Ni	Robust Neural Network Tracking Controller Using Simultaneous Perturbation Stochastic Approximation.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Tomohisa Hayakawa, Wassim M. Haddad, Naira Hovakimyan	Neural Network Adaptive Control for a Class of Nonlinear Uncertain Dynamical Systems With Asymptotic Stability Guarantees.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Changchun Hua, Xinping Guan	Output Feedback Stabilization for Time-Delay Nonlinear Interconnected Systems Using Neural Networks.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Charlotte Yuk-Fan Ho, Bingo Wing-Kuen Ling, Hak-Keung Lam, Muhammad H. U. Nasir	Global Convergence and Limit Cycle Behavior of Weights of Perceptron.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Lei Zhang 0005, Zhang Yi 0001, Jiali Yu	Multiperiodicity and Attractivity of Delayed Recurrent Neural Networks With Unsaturating Piecewise Linear Transfer Functions.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Shuzhi Sam Ge, Chenguang Yang, Tong Heng Lee	Adaptive Predictive Control Using Neural Network for a Class of Pure-Feedback Systems in Discrete Time.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Jianming Lian, Yonggon Lee, Scott D. Sudhoff, Stanislaw H. Zak	Self-Organizing Radial Basis Function Network for Real-Time Approximation of Continuous-Time Dynamical Systems.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Peter Shih, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier	Reinforcement-Learning-Based Dual-Control Methodology for Complex Nonlinear Discrete-Time Systems With Application to Spark Engine EGR Operation.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Dong Xu, Dongbin Zhao, Jianqiang Yi, Xiang-min Tan, Zonghai Chen	Trajectory tracking control of omnidirecitonal wheeled mobile manipulators: Robust neural network based sliding mode approach.	ICRA	2008	DBLP DOI BibTeX RDF
11	Dimos V. Dimarogonas, Karl Henrik Johansson	Decentralized connectivity maintenance in mobile networks with bounded inputs.	ICRA	2008	DBLP DOI BibTeX RDF
11	Duc A. Tran, Khanh Vu	Dimensionality Reduction in Hyperbolic Data Spaces: Bounding Reconstructed-Information Loss.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
11	Viorica Sofronie-Stokkermans	Efficient Hierarchical Reasoning about Functions over Numerical Domains.	KI	2008	DBLP DOI BibTeX RDF
11	Philippe Darondeau, Blaise Genest, Loïc Hélouët	Products of Message Sequence Charts.	FoSSaCS	2008	DBLP DOI BibTeX RDF
11	David John Hill, Jun Zhao 0002	Global synchronization of complex dynamical networks with non-identical nodes.	CDC	2008	DBLP DOI BibTeX RDF
11	Angelo Alessandri, Marco Baglietto, Giorgio Battistelli	Maximum-likelihood Kalman filtering for switching discrete-time linear systems.	CDC	2008	DBLP DOI BibTeX RDF
11	Ivan Tyukin, Erik Steur, Henk Nijmeijer, Cees van Leeuwen	Non-uniform small-gain theorems for systems with unstable invariant sets.	CDC	2008	DBLP DOI BibTeX RDF
11	Xiaodong Zhang 0009, Marios M. Polycarpou, Thomas Parisini	Adaptive fault-tolerant control of a class of nonlinear MIMO systems.	CDC	2008	DBLP DOI BibTeX RDF
11	Yilin Mo, Bruno Sinopoli	A characterization of the critical value for Kalman filtering with intermittent observations.	CDC	2008	DBLP DOI BibTeX RDF
11	Arturo Zavala-Río, Carlos-M. Astorga-Zaragoza, Omar Hernandez-Gonzalez	A bounded positive non-linear PI control law for double-pipe heat exchangers.	CDC	2008	DBLP DOI BibTeX RDF
11	Sangbo Seo, Hyungbo Shim, Jin Heon Seo	Global finite-time stabilization of a nonlinear system using dynamic exponent scaling.	CDC	2008	DBLP DOI BibTeX RDF
11	Qian Sang, Gang Tao	Gain margins of multivariable MRAC systems.	CDC	2008	DBLP DOI BibTeX RDF
11	Chuanliang Xia	Property Preservation by Petri-Net-Based Refinements in System Design.	ICYCS	2008	DBLP DOI BibTeX RDF
11	Hsu-Chun Yen	Concurrency, Synchronization, and Conflicts in Petri Nets.	CIAA	2008	DBLP DOI BibTeX RDF
11	Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa 0001	Towards a theory of schema-mapping optimization.	PODS	2008	DBLP DOI BibTeX RDF	conjunctive-query equivalence, data-exchange equivalence, data integration, data exchange, schema mapping
11	Anhua Wan, Weihua Mao	Criteria for Exponential Stability of Cohen-Grossberg Neural Networks with Multiple Time-Varying Delays.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Cohen-Grossberg neural networks, multiple time-varying delays, exponential stability
11	Chaogai Xue, Haiwang Cao	Dynamic Properties of Enterprise Information System Based on Formal Representation.	CSSE (2)	2008	DBLP DOI BibTeX RDF
11	Yukio Ogura	On Stochastic Differential Equations with Fuzzy Set Coefficients.	SMPS	2008	DBLP DOI BibTeX RDF	Set coefficients, Fuzzy set coefficients, Random fuzzy sets, Stochastic differential equation, Random sets
11	Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang	Quasi-Static Scheduling of Communicating Tasks.	CONCUR	2008	DBLP DOI BibTeX RDF
11	Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen	Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time.	CiE	2008	DBLP DOI BibTeX RDF	linear time complexity, static program analysis, polynomial time complexity, implicit computational complexity
11	Sung-Soon Choi, Yung-Keun Kwon, Byung Ro Moon	Properties of Symmetric Fitness Functions.	IEEE Trans. Evol. Comput.	2007	DBLP DOI BibTeX RDF
11	Pingan He 0002, Sarangapani Jagannathan	Reinforcement Learning Neural-Network-Based Controller for Nonlinear Discrete-Time Systems With Input Constraints.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
11	Zhijun Li 0001, Shuzhi Sam Ge, Aiguo Ming	Adaptive Robust Motion/Force Control of Holonomic-Constrained Nonholonomic Mobile Manipulators.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
11	Juan Ignacio Mulero Martínez	Uniform Bounds of the Coriolis/Centripetal Matrix of Serial Robot Manipulators.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
11	Michael Kohler, Adam Krzyzak	On the Rate of Convergence of Local Averaging Plug-In Classification Rules Under a Margin Condition.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
11	Uday P. Khedker, Amitabha Sanyal, Amey Karkare	Heap reference analysis using access graphs.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	heap references, data flow analysis, liveness, Aliasing
11	Vivek Yadav, Radhakant Padhi, Sivasubramanya Nadar Balakrishnan	Robust/Optimal Temperature Profile Control of a High-Speed Aerospace Vehicle Using Neural Networks.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF