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 |
|