On the computational power of neural nets
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Finiteness results for sigmoidal “neural” networks
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Automata, circuits and hybrids: facets of continuous time
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Highly Singular L-Q Problems: Solutions in Distribution Spaces
Journal of Dynamical and Control Systems
Journal of Dynamical and Control Systems
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Controllability of Right-Invariant Systems on Solvable Lie Groups
Journal of Dynamical and Control Systems
Automata, Circuits, and Hybrids: Facets of Continuous Time
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Systems' Properties - Classification and Relation to Computer Science
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Multidimensional Systems and Signal Processing
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Information and Computation
On the design of correct and optimal dynamical systems and games
Information Processing Letters - Special issue: Contribution to computing science
On Nonlinear Control Systems with Multiple Time Scales
Journal of Dynamical and Control Systems
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Measuring the confinement of probabilistic systems
Theoretical Computer Science - Theoretical foundations of security analysis and design II
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Precise Positioning of Binocular Eye-to-Hand Robotic Manipulators
Journal of Intelligent and Robotic Systems
Automatica (Journal of IFAC)
Journal of Approximation Theory
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Brief paper: Tracking and disturbance rejection for fully actuated mechanical systems
Automatica (Journal of IFAC)
Consensus in leaderless networks of high-order-integrator agents
ACC'09 Proceedings of the 2009 conference on American Control Conference
Zeros in linear systems with time delay in state
International Journal of Applied Mathematics and Computer Science - Special Section: Robot Control Theory Cezary Zielinski
Approximating labelled Markov processes again!
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Mass Transportation with LQ Cost Functions
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Asymptotic Controllability by Means of Eventually Periodic Switching Rules
SIAM Journal on Control and Optimization
Invariance Entropy of Control Sets
SIAM Journal on Control and Optimization
On the synthesis of a stabilizing feedback control
LSSC'05 Proceedings of the 5th international conference on Large-Scale Scientific Computing
Stabilization of nonholonomic integrators via logic-based switching
Automatica (Journal of IFAC)
Complexity of stability and controllability of elementary hybrid systems
Automatica (Journal of IFAC)
Brief On the stability of nonautonomous systems
Automatica (Journal of IFAC)
Journal of Dynamical and Control Systems
An intrinsic formulation of the problem on rolling manifolds
Journal of Dynamical and Control Systems
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Hi-index | 0.01 |