Search results for "boundedness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Jonathan Blake Vance, Atmika Singh, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier	Neural Network Controller Development and Implementation for Spark Ignition Engines With High EGR Levels.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
11	Juan Ignacio Mulero Martínez	An Improved Dynamic Neurocontroller Based on Christoffel Symbols.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
11	Changchun Hua, Xinping Guan, Peng Shi 0001	Robust Output Feedback Tracking Control for Time-Delay Nonlinear Systems Using Neural Network.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
11	Yuanyuan Zhao, Jay A. Farrell	Locally Weighted Online Approximation-Based Control for Nonaffine Systems.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
11	Wassim M. Haddad, James M. Bailey, Tomohisa Hayakawa, Naira Hovakimyan	Neural Network Adaptive Output Feedback Control for Intensive Care Unit Sedation and Intraoperative Anesthesia.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
11	Vahram Stepanyan, Naira Hovakimyan	Robust Adaptive Observer Design for Uncertain Systems With Bounded Disturbances.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
11	Bong-Jun Yang, Anthony J. Calise	Adaptive Control of a Class of Nonaffine Systems Using Neural Networks.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
11	Xinwei Li, Hui Jiang 0001	Solving Large-Margin Hidden Markov Model Estimation via Semidefinite Programming.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
11	Zhongyuan Zhang, Tao Li 0001, Chris H. Q. Ding, Xiang-Sun Zhang	Binary Matrix Factorization with Applications.	ICDM	2007	DBLP DOI BibTeX RDF
11	Yu Zhao 0001, Chien-Chern Cheah, Jean-Jacques E. Slotine	Adaptive Vision and Force Tracking Control of Constrained Robots with Structural Uncertainties.	ICRA	2007	DBLP DOI BibTeX RDF
11	Anthony Mandow, Jorge L. Martínez, Jesús Morales, José-Luis Blanco, Alfonso García-Cerezo, Javier Gonzalez	Experimental kinematics for wheeled skid-steer mobile robots.	IROS	2007	DBLP DOI BibTeX RDF
11	Ahmad Hably, Nicolas Marchand	Global stabilization of a four rotor helicopter with bounded inputs.	IROS	2007	DBLP DOI BibTeX RDF
11	Peter Bürgisser, Felipe Cucker	Exotic Quantifiers, Complexity Classes, and Complete Problems.	ICALP	2007	DBLP DOI BibTeX RDF
11	Noga Alon, Amin Coja-Oghlan, Hiêp Hàn, Mihyun Kang, Vojtech Rödl, Mathias Schacht	Quasi-randomness and Algorithmic Regularity for Graphs with General Degree Distributions.	ICALP	2007	DBLP DOI BibTeX RDF	quasi-random graphs, Laplacian eigenvalues, Grothendieck’s inequality, regularity lemma, sparse graphs
11	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	On the Efficient Computation of the Minimal Coverability Set for Petri Nets.	ATVA	2007	DBLP DOI BibTeX RDF
11	Walker M. White, Mirek Riedewald, Johannes Gehrke, Alan J. Demers	What is "next" in event processing?	PODS	2007	DBLP DOI BibTeX RDF	events, axiomatization, temporal models
11	Jiye Zhang, Keyue Zhang, Dianbo Ren	Global Exponential Stability of Fuzzy Cohen-Grossberg Neural Networks with Variable Delays.	ISNN (1)	2007	DBLP DOI BibTeX RDF
11	Anhua Wan, Weihua Mao, Hong Qiao, Bo Zhang 0006	Global Asymptotic Stability of Cohen-Grossberg Neural Networks with Multiple Discrete Delays.	ICIC (2)	2007	DBLP DOI BibTeX RDF
11	José R. Celaya, Alan A. Desrochers, Robert J. Graves	Modeling and analysis of multi-agent systems using petri nets.	SMC	2007	DBLP DOI BibTeX RDF
11	Linmin Yang, Zhe Dang, Oscar H. Ibarra	Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing.	UC	2007	DBLP DOI BibTeX RDF
11	Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini	COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.	FMCO	2007	DBLP DOI BibTeX RDF
11	Viorica Sofronie-Stokkermans, Carsten Ihlemann	Automated Reasoning in Some Local Extensions of Ordered Structures.	ISMVL	2007	DBLP DOI BibTeX RDF
11	Viswanathan Srikrishnan, Subhasis Chaudhuri, Sumantra Dutta Roy, Daniel Sevcovic	On Stabilisation of Parametric Active Contours.	CVPR	2007	DBLP DOI BibTeX RDF
11	Gianluca Rizzo, Jean-Yves Le Boudec	Generalization of the RIN Result to Heterogeneous Networks of Aggregate Schedulers and Leaky Bucket Constrained Flows.	ICON	2007	DBLP DOI BibTeX RDF
11	Peter Shih, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier	Near Optimal Output-Feedback Control of Nonlinear Discrete-time Systems in Nonstrict Feedback Form with Application to Engines.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Tianping Chen, Yanchun Bai	Stability of Cohen-Grossberg Neural Networks with Nonnegative Periodic solutions.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Myrto Arapinis, Marie Duflot	Bounding Messages for Free in Security Protocols.	FSTTCS	2007	DBLP DOI BibTeX RDF
11	Hamid Reza Karimi, Mohammad Javad Yazdanpanah, Rajnikant V. Patel, Khashayar Khorasani	Modeling and Control of Linear Two-time Scale Systems: Applied to Single-Link Flexible Manipulator.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	single-link flexible manipulator, structured singular value, two-time scale systems, stability analysis, robust stabilization
11	Teunis J. Ott, Jason Swanson	Stationarity of some processes in transport protocols.	SIGMETRICS Perform. Evaluation Rev.	2006	DBLP DOI BibTeX RDF
11	Xin Chen, Houduo Qi	Cartesian P-property and Its Applications to the Semidefinite Linear Complementarity Problem.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C33, 15A48
11	Alper T. Erdogan	A simple geometric blind source separation method for bounded magnitude sources.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
11	C.-S. Chiu	Mixed Feedforward/Feedback Based Adaptive Fuzzy Control for a Class of MIMO Nonlinear Systems.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
11	R. Tyrrell Rockafellar, Stan Uryasev, Michael Zabarankin	Generalized deviations in risk analysis.	Finance Stochastics	2006	DBLP DOI BibTeX RDF	deviation measures, coherent risk measures, Risk management, portfolio optimization, value-at-risk, convex analysis, conditional value-at-risk
11	Wenzhi Gao, Rastko R. Selmic	Neural network control of a class of nonlinear systems with actuator saturation.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
11	Hongbin Du, Huihe Shao, Pingjing Yao	Adaptive neural network control for a class of low-triangular-structured nonlinear systems.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
11	Shangjiang Guo, Lihong Huang	Stability analysis of Cohen-Grossberg neural networks.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
11	Pavel Krcál, Wang Yi 0001	Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.	CAV	2006	DBLP DOI BibTeX RDF
11	Mohammad Danesh, Farid Sheikholeslam, Mehdi Keshmiri	Robust Robot Controller Design Using Joint Position and Velocity Dependent Uncertainty Bound.	IROS	2006	DBLP DOI BibTeX RDF
11	Tachio Terauchi, Alex Aiken	On Typability for Rank-2 Intersection Types with Polymorphic Recursion.	LICS	2006	DBLP DOI BibTeX RDF
11	Michal Kunc	Algebraic Characterization of the Finite Power Property.	ICALP (1)	2006	DBLP DOI BibTeX RDF
11	Abhik Das, Soumya K. Ghosh 0001	Stochastic Spectral Density Analysis on Network Traffic Characterization.	ICDCN	2006	DBLP DOI BibTeX RDF	stochastic spectral power, Network traffic
11	Weifan Zheng, Jiye Zhang, Weihua Zhang	Stability Analysis of Reaction-Diffusion Recurrent Cellular Neural Networks with Variable Time Delays.	ISNN (1)	2006	DBLP DOI BibTeX RDF
11	Jiye Zhang, Dianbo Ren, Weihua Zhang	Global Exponential Stability of Fuzzy Cellular Neural Networks with Variable Delays.	ISNN (1)	2006	DBLP DOI BibTeX RDF
11	Weifan Zheng, Jiye Zhang, Weihua Zhang	Global Exponential Stability of Reaction-Diffusion Neural Networks with Both Variable Time Delays and Unbounded Delay.	ICIC (1)	2006	DBLP DOI BibTeX RDF
11	Anhua Wan, Hong Qiao, Bo Zhang 0006, Weihua Mao	New Results for Global Exponential Stability of Delayed Cohen-Grossberg Neural Networks.	ICIC (1)	2006	DBLP DOI BibTeX RDF
11	Min Seok Jie, Kang Woong Lee	Image-Based Robust Control of Robot Manipulators in the Presence of Uncertainty.	KES (1)	2006	DBLP DOI BibTeX RDF	image-based control, image Jacobian, robot manipulator, robust control, visual feedback
11	Takumi Nisikata, Hajime Sawamura	Deliberate Soccer Agents Powered by Resource-Bounded Argumentation.	PRIMA	2006	DBLP DOI BibTeX RDF
11	Pascal Poizat, Jean-Claude Royer, Gwen Salaün	Bounded Analysis and Decomposition for Behavioural Descriptions of Components.	FMOODS	2006	DBLP DOI BibTeX RDF
11	Nadia Busi	Deciding Behavioural Properties in Brane Calculi.	CMSB	2006	DBLP DOI BibTeX RDF
11	Atmika Singh, Jonathan Blake Vance, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier	Neural Network Control of Spark Ignition Engines with High EGR Levels.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Arash Beirami, C. J. B. Macnab	Direct Neural-Adaptive Control of Robotic Manipulators using a Forward Dynamics Approach.	CCECE	2006	DBLP DOI BibTeX RDF
11	Serge Haddad, Laura Recalde, Manuel Silva Suárez	On the Computational Power of Timed Differentiable Petri Nets.	FORMATS	2006	DBLP DOI BibTeX RDF
11	Yonggui Kao 0001, Cunchen Gao, Lu Wu, Qinghe Ming	Global Stability of Bidirectional Associative Memory Neural Networks with Variable Coefficients and S-Type Distributed Delays.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
11	Wei Wu 0010, Hongmei Shao, Zhengxue Li	Convergence of Batch BP Algorithm with Penalty for FNN Training.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
11	Zhigang Zeng, De-Shuang Huang, Zengfu Wang	Global Stability of a General Class of Discrete-Time Recurrent Neural Networks.	Neural Process. Lett.	2005	DBLP DOI BibTeX RDF	induction principle, delay, recurrent neural networks, discrete-time, global stability
11	Chun-Tao Li 0002, Yong-Hong Tan	Adaptive output feedback control of systems preceded by the Preisach-type hysteresis.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
11	Fan Hong, Shuzhi Sam Ge, Tong Heng Lee	Practical adaptive neural control of nonlinear systems with unknown time delays.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
11	Pingan He 0002, Sarangapani Jagannathan	Reinforcement learning-based output feedback control of nonlinear systems with input constraints.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
11	Rachid Bouyekhf, Abdellah El Moudni	On the analysis of some structural properties of Petri nets.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
11	Alfons Geser, Dieter Hofbauer, Johannes Waldmann	Termination Proofs for String Rewriting Systems via Inverse Match-Bounds.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	match-bounded, inhibitor, termination, normalization, reachability, regular languages, context-free languages, semi-Thue systems, string rewriting systems
11	Bing Chen 0001, Xiaoping Liu 0004	Fuzzy approximate disturbance decoupling of MIMO nonlinear systems by backstepping and application to chemical processes.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
11	Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001, Luminita Vîta	Strong continuity implies uniform sequential continuity.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
11	Jie Ni, Qing Song 0001	Pruning Neural Networks for a Two-Link Robot Control System.	IWANN	2005	DBLP DOI BibTeX RDF
11	Michael Köhler 0001, Heiko Rölke	Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
11	Weisheng Chen, Junmin Li	Adaptive Backstepping Neural Network Control for Unknown Nonlinear Time-Delay Systems.	ISNN (3)	2005	DBLP DOI BibTeX RDF
11	Zhihong Tang, Yiping Luo 0001, Feiqi Deng	Global Exponential Stability of Reaction-Diffusion Hopfield Neural Networks with Distributed Delays.	ISNN (1)	2005	DBLP DOI BibTeX RDF
11	Huaguang Zhang, Zhanshan Wang, Derong Liu 0001	Exponential Stability Analysis of Neural Networks with Multiple Time Delays.	ISNN (1)	2005	DBLP DOI BibTeX RDF
11	Sangoh Jeong	Distributional Distances in Color Image Retrieval with GMVQ-Generated Histograms.	CIVR	2005	DBLP DOI BibTeX RDF
11	Michel Serfati	A Note on Triangulation of PostAlgebras and "Leibnizian" Lattices.	ISMVL	2005	DBLP DOI BibTeX RDF
11	Kais Klai, Serge Haddad, Jean-Michel Ilié	Modular Verification of Petri Nets Properties: A Structure-Based Approach.	FORTE	2005	DBLP DOI BibTeX RDF	Petri nets, (de)composition, Abstraction, modular verification
11	Ulrich Kohlenbach	Proof Mining in Functional Analysis.	CiE	2005	DBLP DOI BibTeX RDF
11	Qiang Zhang 0008, Dongsheng Zhou, Xiaopeng Wei	Global Exponential Stability of Non-autonomous Delayed Neural Networks.	CIS (1)	2005	DBLP DOI BibTeX RDF
11	Zhuping Wang, Shuzhi Sam Ge, Tong Heng Lee	Robust adaptive neural network control of uncertain nonholonomic systems with strong nonlinear drifts.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
11	Yansheng Yang, Gang Feng 0001, Junsheng Ren	A combined backstepping and small-gain approach to robust adaptive fuzzy control for strict-feedback nonlinear systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
11	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.	SPIN	2004	DBLP DOI BibTeX RDF
11	Guang Deng Zong, Yu Qiang Wu	Finite time tracking control for rigid robotic manipulators with friction and external disturbances.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Jialu Du, Chen Guo 0001, Yongsheng Zhao, Yingjun Bi	Adaptive robust nonlinear design of course keeping ship steering autopilot.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Chuntao Li, Yonghong Tan	Adaptive neural sliding mode control for systems with unknown hysteresis using neural model based prediction.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Changyin Sun, Xunming Li, Chun-Bo Feng	On Robust Periodicity of Delayed Dynamical Systems with Time-Varying Parameters.	ISNN (1)	2004	DBLP DOI BibTeX RDF
11	Andreas Wombacher, Karl Aberer	Requirements for Workflow Modeling in P2P-Workflows Derived from Collaboration Establishment.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
11	Marc Bourcerie, Jean-Yves Morel	On the analysis and synthesis of coloured Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
11	Mohamed G. Gouda, Marco Schneider	Maximizable routing metrics.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	communication system signaling, trees (graphs), routing, protocols, distributed algorithms, computer networks, routing metrics, communication system routing, link state, distance vector
11	Xin Chen, Paul Tseng	Non-Interior continuation methods for solving semidefinite complementarity problems.	Math. Program.	2003	DBLP DOI BibTeX RDF
11	Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen	CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
11	Abhijit K. Deb, Johnny Öberg, Axel Jantsch	Simulation and Analysis of Embedded DSP Systems Using MASIC Methodology.	DATE	2003	DBLP DOI BibTeX RDF
11	Mehmet Giritli	Who Can Connect in RCC?	KI	2003	DBLP DOI BibTeX RDF
11	Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna	Petri Net Analysis Using Invariant Generation.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
11	Abhijit K. Deb, Johnny Öberg, Axel Jantsch	Simulation and Analysis of Embedded DSP Systems Using Petri Nets.	IEEE International Workshop on Rapid System Prototyping	2003	DBLP DOI BibTeX RDF
11	Changyin Sun, Changgui Sun, Chun-Bo Feng	Exponential periodicity of neural networks with delays.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
11	Deepak Kapur, Paliath Narendran, Lida Wang	An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation.	RTA	2003	DBLP DOI BibTeX RDF
11	J. B. Wells, Detlef Plump, Fairouz Kamareddine	Diagrams for Meaning Preservation.	RTA	2003	DBLP DOI BibTeX RDF
11	Ana M. C. Ruedin	Estimating the Joint Spectral Radius of a Nonseparable Multiwavelet.	SCCC	2003	DBLP DOI BibTeX RDF	joint spectral radius, nonseparable, multiwavelet, magnification
11	Zhengwei Qi, Jinyuan You, Hongyan Mao	P Systems and Petri Nets.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
11	Silvano Dal-Zilio, Enrico Formenti	On the Dynamics of PB Systems: A Petri Net View.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
11	Worthen Hunsaker, Jorge Picado	Frames with Transitive Structures.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	zero-dimensional frames resp. biframes, (quasi-)uniform frames, transitive (quasi-)uniform frames, totally bounded coreflection, universal zero-dimensional compactification, completion
11	Peeter Oja, Darja Saveljeva	Cubic Spline Collocation for Volterra Integral Equations.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classification: 65D07, 65R20, 41A15
11	Qi Cheng 0001	Some Remarks on the L-Conjecture.	ISAAC	2002	DBLP DOI BibTeX RDF
11	Mehdi Dastani, Leendert W. N. van der Torre	An Extension of BDICTL with Functional Dependencies and Components.	LPAR	2002	DBLP DOI BibTeX RDF
11	Chin Soon Lee	Finiteness Analysis in Polynomial Time.	SAS	2002	DBLP DOI BibTeX RDF
11	Jens Palsberg, Di Ma	A Typed Interrupt Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF