Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Basílio E. A. Milani |
Ultimate Boundedness Sets for Continuous-time Linear Systems with Deadzone Feedback Controls. |
CDC/ECC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Li Jiao |
Compositional analysis for regularity, liveness and boundedness. |
ICINCO |
2005 |
DBLP BibTeX RDF |
|
15 | Renato D. C. Monteiro, Jerome W. O'Neal, Takashi Tsuchiya |
Uniform Boundedness of a Preconditioned Normal Matrix Used in Interior-Point Methods. |
SIAM J. Optim. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Yu Zhang 0020, Jitao Sun |
Boundedness of the solutions of impulsive differential systems with time-varying delay. |
Appl. Math. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojing Yang |
Boundedness of solutions of nonlinear p-Laplacian. |
Appl. Math. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojing Yang |
Boundedness of solutions for sublinear reversible systems. |
Appl. Math. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Cemil Tunç |
A note on the stability and boundedness results of solutions of certain fourth order differential equations. |
Appl. Math. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojing Yang |
Boundedness of solutions for reversible systems. |
Appl. Math. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Kazushi Ikeda |
Boundedness of Input Space and Effective Dimension of Feature Space in Kernel Methods. |
IEICE Trans. Inf. Syst. |
2004 |
DBLP BibTeX RDF |
|
15 | Ilia G. Polushin, Horacio J. Marquez |
Boundedness properties of nonlinear quasi-dissipative systems. |
IEEE Trans. Autom. Control. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Angelo Alessandri, Marco Baglietto, Giorgio Battistelli |
On estimation error bounds for receding-horizon filters using quadratic boundedness. |
IEEE Trans. Autom. Control. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | J. Donald Monk |
On General Boundedness and Dominating Cardinals. |
Notre Dame J. Formal Log. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Michael Drmota |
On Robson's convergence and boundedness conjectures concerning the height of binary search trees. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Li Jiao, To-Yat Cheung, Weiming Lu |
On liveness and boundedness of asymmetric choice nets. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Liu Lanzhe |
Boundedness of multilinear operators on Triebel-Lizorkin spaces. |
Int. J. Math. Math. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Fei-Tsen Liang |
Global boundedness, interior gradient estimates, and boundary regularity for the mean curvature equation with boundary conditions. |
Int. J. Math. Math. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Dianne Rucinski |
Community Boundedness, Personal Relevance, and the Knowledge Gap. |
Commun. Res. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Mehbuba Rehim, Haijun Jiang, Zhidong Teng |
Boundedness and stability for nonautonomous cellular neural networks with delay. |
Neural Networks |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Haijun Jiang, Zhidong Teng |
Boundedness and stability for nonautonomous bidirectional associative neural networks with delay. |
IEEE Trans. Circuits Syst. II Express Briefs |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Fenlin Liu, Yanrong Cai, Junyong Luo |
Adaptive robust output feedback controllers guaranteeing uniform ultimate boundedness for uncertain nonlinear systems. |
ACC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Haiyu Zhao, Christopher D. Rahn |
On the boundedness of damped strings and beams with boundary and distributed inputs. |
CDC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr |
Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | M. M. El-Afifi |
Necessary and sufficient conditions for boundedness and stability of N-order difference equation. |
Appl. Math. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojing Yang |
Boundedness of solutions for a class of reversible systems. |
Appl. Math. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojing Yang |
Boundedness of solutions of some nonlinear differential equations. |
Appl. Math. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojing Yang |
Boundedness problem for solutions of semilinear asymmetric equations. |
Appl. Math. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojing Yang |
Boundedness of solutions for nonlinear oscillations. |
Appl. Math. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | M. A. Aziz-Alaoui, M. Daher Okiye |
Boundedness and global stability for a predator-prey model with modified Leslie-Gower and Holling-type II schemes. |
Appl. Math. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir Kolmanovskii, Leonid E. Shaikhet |
Some conditions for boundedness of solutions of difference volterra equations. |
Appl. Math. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | A. I. Sadek |
Stability and boundedness of a kind of third-order delay differential system. |
Appl. Math. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mamadou Sango |
Local boundedness for doubly degenerate quasi-linear parabolic systems. |
Appl. Math. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mirta María Castro Smirnova, Antonio J. Durán Guardeño |
Boundedness properties for Sobolev inner products. |
J. Approx. Theory |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Cong-Hua Yan, Jin-xuan Fang |
The uniform boundedness principle in L-topological vector spaces. |
Fuzzy Sets Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Garyfalos Papaschinopoulos, Gesthimani Stefanidou |
Boundedness and asymptotic behavior of the solutions of a fuzzy difference equation. |
Fuzzy Sets Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Antonio Loría, Dragan Nesic |
On uniform boundedness of parameterized discrete-time systems with decaying inputs: applications to cascades. |
Syst. Control. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Vincent Guffens, Georges Bastin, Hugues Mounier |
Using token leaky buckets for congestion feedback control in packets switched networks with guaranteed boundedness of buffer queues. |
ECC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Aydin Aybar, Altug Iftar |
Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets. |
ECC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Yannick Morel, Alexander Leonessa |
Adaptive nonlinear tracking control of an underactuated nonminimum phase model of a marine vehicle using ultimate boundedness. |
CDC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Sanjay P. Bhat |
A nontangency-based sufficient condition for boundedness of orbits. |
CDC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Hai Lin 0002, Panos J. Antsaklis |
Synthesis of uniformly ultimate boundedness switching laws for discrete-time uncertain switched linear systems. |
CDC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoli Zhang, Yushun Fan |
An algorithm of uniform ultimate boundedness for switched linear systems. |
SMC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Peter Sarkoci, Michal Sabo |
Information boundedness principle in fuzzy inference process. |
Kybernetika |
2002 |
DBLP BibTeX RDF |
|
15 | Xiaojing Yang |
Boundedness of solutions for semilinear duffing equations. |
Appl. Math. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Murat Arcak, Michael Larsen, Petar V. Kokotovic |
Boundedness without Absolute Stability in Systems with Stiffening Nonlinearities. |
Eur. J. Control |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Zhenghai Huang |
Sufficient conditions on nonemptiness and boundedness of the solution set of the P0 function nonlinear complementarity problem. |
Oper. Res. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jacek Gilewicz, Yuri V. Kryakin, Igor A. Shevchuk |
Boundedness by 3 of the Whitney Interpolation Constant. |
J. Approx. Theory |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Murat Arcak, Andrew R. Teel |
Input-to-state stability and boundedness in Lurie systems. |
ACC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Greg Hjorth |
A Boundedness Lemma for Iterations. |
J. Symb. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Jiao Li, Lu Weiming |
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets II. |
J. Comput. Sci. Technol. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Robert D. Rosebrugh, Richard J. Wood |
Boundedness and Complete Distributivity. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
bounded suprema, completely distributive, adjunction |
15 | Wuwei Chen, James K. Mills, Jiaxin Chu, Dong Sun 0001 |
Brief communication: Uniform ultimate boundedness of a fuzzy logic controlled industrial robot. |
J. Field Robotics |
2001 |
DBLP DOI BibTeX RDF |
|
15 | S. M. Shahruz, L. G. Krishna |
Boundedness of voltages and currents in Josephson junctions represented by the perturbed sine-Gordon equation. |
Autom. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Xue-Zhi Li, Geni Gupur, Xin-Hua Ji |
The criteria of ultimate boundedness for nonautonomous Lotka-Volterra tree systems. |
Appl. Math. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Shahram M. Shahruz |
Boundedness of outputs of a class of lasers. |
Appl. Math. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Yasuo Narukawa, Toshiaki Murofushi, Michio Sugeno |
Boundedness and symmetry of comonotonically additive functionals. |
Fuzzy Sets Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Birgit Jacob, Jonathan R. Partington |
On the Boundedness and Continuity of the Spectral Factorization Mapping. |
SIAM J. Control. Optim. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Chih-Chin Hsu, I-Kong Fong |
Ultimate boundedness control of linear systems with band-bounded nonlinear actuators and additive measurement noise. |
Syst. Control. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Samanmalee Sugathadasa, Clyde F. Martin, Wijesuriya P. Dayawansa |
Boundedness of covariance estimates of extended Kalman filtering with directional measurements and linear state dynamics. |
CDC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Rama K. Yedavalli, Andrew G. Sparks |
Ultimate boundedness control of linear switched systems using controlled dwell time approach. |
CDC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Sanjay Shakkottai, Rayadurgam Srikant, Sean P. Meyn |
Boundedness of utility function based congestion controllers in the presence of delay. |
CDC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Basílio E. A. Milani, Alessandra Dutra Coelho |
Ultimate boundedness sets for discrete-time linear systems with deadzone feedback controls. |
CDC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Puneet Jain, Ajit Pratap Singh |
A characterization for the boundedness of geometric mean operator. |
Appl. Math. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Ron van der Meyden |
Predicate Boundedness of Linear Monadic Datalog is in PSPACE. |
Int. J. Found. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Joan Peuteman, Dirk Aeyels, Rodolphe Sepulchre |
Boundedness Properties For Time-Varying Nonlinear Systems. |
SIAM J. Control. Optim. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Kasisomayajula Viswanath, Gerald M. Kosicki, Eric S. Fredin, Eunkyung Park |
Local Community Ties, Community-Boundedness, and Local Public Affairs Knowledge Gaps. |
Commun. Res. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Mao-Lin Ni, Meng Joo Er |
Design of linear uncertain systems guaranteeing quadratic boundedness. |
ACC |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Naoki Kobayashi 0001 |
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Xilin Fu, Xinzhi Liu |
Uniform boundedness and stability criteria in terms of two measures for impulsive integro-differential equations. |
Appl. Math. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Ruvinda Gunawardana, Fathi Ghorbel |
On the boundedness of the Hessian of the potential energy of robot manipulators. |
J. Field Robotics |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Tetsuo Sawaragi, Osamu Katai |
Bio-informatic activity modeling for human-artifacts symbiosis under resource boundedness. |
Artif. Life Robotics |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Christian Borgs, Jennifer T. Chayes, Harry Kesten, Joel Spencer |
Uniform boundedness of critical crossing probabilities implies hyperscaling. |
Random Struct. Algorithms |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Jerzy Marcinkowski |
Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs. |
SIAM J. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Catherine Dufourd, Petr Jancar, Philippe Schnoebelen |
Boundedness of Reset P/T Nets. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Günther, Konrad Reif, Rolf Unbehauen |
Error boundedness for the CGEKF with exponential data weighting. |
ECC |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Ilya G. Polushin |
General quasipassivity plus output-to-state stability implies ultimate boundedness by output feedback. |
ECC |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Yves Andre, Francis Bossut, Anne-Cécile Caron |
On decidability of boundedness property for regular path queries. |
Developments in Language Theory |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Anil Seth |
On Lk(Q) Types and Boundedness of IFP(Q) on Finite Structures. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Duc Quang Nguyen |
On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints over R2-Plane. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Fathi Ghorbel, Balasubramaniam Srinivasan 0001, Mark W. Spong |
On the uniform boundedness of the inertia matrix of serial robot manipulators. |
J. Field Robotics |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Supratik Bose, Amit Patra, Siddhartha Mukhopadhyay |
Boundedness analysis of finitely recursive processes. I. Concurrent processes. |
IEEE Trans. Autom. Control. |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Supratik Bose, Siddhartha Mukhopadhyay, Amit Patra |
Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes. |
IEEE Trans. Autom. Control. |
1998 |
DBLP DOI BibTeX RDF |
|
15 | M. Güntekin Kabuli, A. Nazli Gündes |
A general boundedness result for interconnected nonlinear systems. |
IEEE Trans. Autom. Control. |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Ulrich Kohlenbach |
On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. |
Ann. Pure Appl. Log. |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Phokion G. Kolaitis, Martin Otto 0001 |
On the Boundedness Problem for Two-Variable First-Order Logic. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Andrey V. Savkin, Ian R. Petersen |
Output feedback ultimate boundedness control for uncertain dynamic systems with structured uncertainty. |
Int. J. Syst. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jerzy Marcinkowski |
DATALOG SIRUPs Uniform Boundedness is Undecidable. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Kevin M. Passino, Kevin L. Burgess, Anthony N. Michel |
Lagrange stability and boundedness of discrete event systems. |
Discret. Event Dyn. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi |
Undecidable Boundedness Problems for Datalog Programs. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Yiyun Chen |
Head boundedness of nonterminating rewritings. |
J. Comput. Sci. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Reinhard Diestel, Imre Leader |
The Growth of Infinite Graphs: Boundedness and Finite Spreading. |
Comb. Probab. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Franco Blanchini |
Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions. |
IEEE Trans. Autom. Control. |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Irène Guessarian, Marcos Veloso Peixoto |
About Boundedness for Some Datalog and Datalogneg Programs. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Abderrahim Benslimane |
Deciding Boundedness for Systems of Two Communicating Finite State Machines. |
HPDC |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Yiyun Chen |
Nonterminating rewritings with head boundedness. |
J. Comput. Sci. Technol. |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Alexander F. Sidorenko |
Boundedness of optimal matrices in extremal multigraph and digraph problems. |
Comb. |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Héctor J. Hernández, Ke Wang |
On the Boundedness of Constant-Time-Maintainable Database Schemes. |
SIAM J. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
15 | P. J. Nathan, Sahjendra N. Singh |
Nonlinear ultimate boundedness control and stabilization of a flexible robotic arm. |
J. Field Robotics |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Changyun Wen, David J. Hill 0001 |
Global boundedness of discrete-time adaptive control just using estimator projection. |
Autom. |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Ke Wang |
On Characterizing Boundedness of Database Schemes with Bounded Dependencies. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Darren M. Dawson, Zhihua Qu |
On the global uniform ultimate boundedness of a DCAL-like robot controller. |
IEEE Trans. Robotics Autom. |
1992 |
DBLP DOI BibTeX RDF |
|