Mathematical control theory: deterministic finite dimensional systems (2nd ed.)

Symplectic Methods for the Solution to Riccati Matrix Equations Relatedto Macroeconomic Models

Computational Economics

Eddies: continuously adaptive query processing

SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data

Reasoning about nonlinear system identification

Artificial Intelligence

Some Properties of the Value Function and Its Level Sets for Affine Control Systems with Quadratic Cost

Journal of Dynamical and Control Systems

Singular Trajectories in Multi-Input Time-Optimal Problems: Application to Controlled Mechanical Systems

Journal of Dynamical and Control Systems

A logical approach to control: some new logical concepts and their application to the notion of safety for control variants

Fundamenta Informaticae

The Stability of Saturated Linear Dynamical Systems Is Undecidable

STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science

Descriptional independence and the formal definition of sequential control structure

Fundamenta Informaticae

Uniqueness of Local Control Sets

Journal of Dynamical and Control Systems

Lyapunov design for safe reinforcement learning

The Journal of Machine Learning Research

Risk in control. On the notion of risk function

Fundamenta Informaticae

Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems

Proceedings of the 26th International Conference on Software Engineering

Idempotent analysis and continuous semilattices

Theoretical Computer Science - Logic, semantics and theory of programming

Risk-type description of control variants

Fundamenta Informaticae

Partial stability and control: The state-of-the-art and development prospects

Automation and Remote Control

The Symplectic Semigroup and Riccati Differential Equations

Journal of Dynamical and Control Systems

Further Results on the Observability of Quantum Systems Under General Measurement

Quantum Information Processing

Global stabilization for systems evolving on manifolds

Journal of Dynamical and Control Systems

On the Notion of Elementary Description

Fundamenta Informaticae

Computability of analog networks

Theoretical Computer Science

On The Eigenvalues of the Spectral Second Order Differentiation Operator and Application to the Boundary Observability of the Wave Equation

Journal of Scientific Computing

Numerical solution to the optimal feedback control of continuous casting process

Journal of Global Optimization

Information in a Two-Stage Decision Process. General Idea and Classification

Fundamenta Informaticae

Stabilizing Lagrange-Type Nonlinear Programming Neural Networks

ISNN '07 Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks, Part III

Controlling the Dynamics of the Fuzzy Cellular Automaton Rule 90, I.

ACRI '08 Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry

Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs

Simulation

Linking perception and action through motivation and affect

Journal of Experimental & Theoretical Artificial Intelligence

Brief paper: Hierarchical control system design using approximate simulation

Automatica (Journal of IFAC)

On partial detectability of the nonlinear dynamic systems

Automation and Remote Control

Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks

HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control

Modelling of Complex Systems: Systems as Dataflow Machines

Fundamenta Informaticae - Machines, Computations and Universality, Part II

Adaptive stochastic resource control: a machine learning approach

Journal of Artificial Intelligence Research

Towards an artificial neural network-based simulator for behavioural evolution in evolutionary robotics

Proceedings of the 2009 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists

Velocity-scheduling control for a unicycle mobile robot: theory and experiments

IEEE Transactions on Robotics

On local linearization of control systems

Journal of Dynamical and Control Systems

On the controllability of multiple dynamic agents with fixed topology

ACC'09 Proceedings of the 2009 conference on American Control Conference

Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering

A control strategy for steering an autonomous surface sailing vehicle in a tacking maneuver

SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics

Dynamic regulation of spike-timing dependent plasticity in electrosensory processing

Neurocomputing

Memory in linear recurrent neural networks in continuous time

Neural Networks

A partial order approach to discrete dynamic feedback in a class of hybrid systems

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control

A controller design method under infrequent, asynchronous sensing

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control

A method based on the Monte Carlo optimization schemes for the control of nonlinear polynomial systems

CONTROL'10 Proceedings of the 6th WSEAS international conference on Dynamical systems and control

Dynamic interaction in knowledge based systems: An exploratory investigation and empirical evaluation

Decision Support Systems

Synthesis of an approximate feedback nonlinear control based on optimization methods

WSEAS Transactions on Systems and Control

Synchronization and control of complex networks via contraction, adaptation and evolution

IEEE Circuits and Systems Magazine - Special issue on complex networks applications in circuits and systems

Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics

Journal of Computer and Systems Sciences International

Testing of abstract components

ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing

On the Stabilization of Persistently Excited Linear Systems

SIAM Journal on Control and Optimization

Minimal Control Synthesis Adaptive Control of Continuous Bimodal Piecewise Affine Systems

SIAM Journal on Control and Optimization

Guaranteed Minimum-Rank Solutions of Linear Matrix Equations via Nuclear Norm Minimization

SIAM Review

Brief paper: Initial condition of costate in linear optimal control using convex analysis

Automatica (Journal of IFAC)

Exact computation of amplification for a class of nonlinear systems arising from cellular signaling pathways

Automatica (Journal of IFAC)

Solving a modified consensus problem of linear multi-agent systems

Automatica (Journal of IFAC)

Recovering Low-Rank and Sparse Components of Matrices from Incomplete and Noisy Observations

SIAM Journal on Optimization

A Continuous Dynamical Newton-Like Approach to Solving Monotone Inclusions

SIAM Journal on Control and Optimization

Lyapunov Equations, Energy Functionals, and Model Order Reduction of Bilinear and Stochastic Systems

SIAM Journal on Control and Optimization

Algorithmic and complexity results for decompositions of biological networks into monotone subsystems

WEA'06 Proceedings of the 5th international conference on Experimental Algorithms

Improving efficiency of finite plans by optimal choice of input sets

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control

On motion planning for point-to-point maneuvers for a class of sailing vehicles

Journal of Control Science and Engineering

Brief Almost global stabilization of the inverted pendulum via continuous state feedback

Automatica (Journal of IFAC)

Brief Identifiability of uncontrolled nonlinear rational systems

Automatica (Journal of IFAC)

Further remarks on strict input-to-state stable Lyapunov functions for time-varying systems

Automatica (Journal of IFAC)

Adaptive optimal control without weight transport

Neural Computation

A positive linear discrete-time model of capacity planning and its controllability properties

Mathematical and Computer Modelling: An International Journal

Quasistatic approximations for stiff second order differential equations

Applied Numerical Mathematics

A formal abstract framework for modelling and testing complex software systems

Theoretical Computer Science

Approximately bisimilar symbolic models for digital control systems

CAV'12 Proceedings of the 24th international conference on Computer Aided Verification

Modelling of Complex Systems: Systems as Dataflow Machines

Fundamenta Informaticae - Machines, Computations and Universality, Part II

Information in a Two-Stage Decision Process. General Idea and Classification

Fundamenta Informaticae

Verification and analysis of domain-specific models of physical characteristics in embedded control software

Information and Software Technology

Risk-type Description of Control Variants

Fundamenta Informaticae

Descriptional independence and the formal definition of sequential control structure

Fundamenta Informaticae

On the Notion of Elementary Description

Fundamenta Informaticae

Risk in Control. On the Notion of Risk Function

Fundamenta Informaticae

A Logical Approach to Control. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants

Fundamenta Informaticae

Applying the canonical dual theory in optimal control problems

Journal of Global Optimization

Control of fuzzy cellular automata: the case of rule 90

PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies

Interconnection of asynchronous Boolean networks, asymptotic and transient dynamics

Automatica (Journal of IFAC)

Controllability of linear impulsive stochastic systems in Hilbert spaces

Automatica (Journal of IFAC)

A Bootstrap Method for Sum-of-Poles Approximations

Journal of Scientific Computing

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing

Solution to singular optimal control by backward differential flow

Journal of Control Science and Engineering

System level formal verification via model checking driven simulation

CAV'13 Proceedings of the 25th international conference on Computer Aided Verification

Exponential stability of Itô-type linear functional difference equations

Computers & Mathematics with Applications

Analytical Solution of Steady-State Equations for Chemical Reaction Networks with Bilinear Rate Laws

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)