Qualitative Theory of Hybrid Dynamical Systems

Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control

The Substratum of Impulse and Hybrid Control Systems

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control

Path-Dependent Impulse and Hybrid Systems

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control

Towards Computing Phase Portraits of Polygonal Differential Inclusions

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control

Computing invariance kernels of polygonal hybrid systems

Nordic Journal of Computing

Analysis of the multi-server Markov queuing system with unlimited buffer and negative customers

Automation and Remote Control

A Second Order Accurate Adams-Bashforth Type Discrete Event Integration Scheme

Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation

On the stability and performance of discrete event methods for simulating continuous systems

Journal of Computational Physics

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools

Theoretical Computer Science

Decentralised coordination of groups of autonomous mobile robots

International Journal of Systems, Control and Communications

Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control

Optimal distributed real-time scheduling of flexible manufacturing networks modeled as hybrid dynamical systems

Robotics and Computer-Integrated Manufacturing

Exponential stability of switched stochastic delay systems with non-linear uncertainties

International Journal of Systems Science

Equiangular navigation and guidance of a wheeled mobile robot based on range-only measurements

Robotics and Autonomous Systems

Stabilization of limit cycles of discretely controlled continuous systems by controlling switching surfaces

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

Time reparameterization in problems of optimal control of impulsive hybrid systems

Journal of Computer and Systems Sciences International

Stability analysis of switched systems using variational principles: An introduction

Automatica (Journal of IFAC)

Necessary optimality conditions for continuous-discrete systems with instantaneous switching of the discrete part

Journal of Computer and Systems Sciences International

Algorithm for identification of piecewise smooth hybrid systems: application to eukaryotic cell cycle regulation

WABI'11 Proceedings of the 11th international conference on Algorithms in bioinformatics

Modelling and control of a flying robot interacting with the environment

Automatica (Journal of IFAC)

Analytical design of optimal controllers in the class of logic-dynamic (hybrid) systems

Automation and Remote Control

Static analysis for state-space reduction of polygonal hybrid systems

FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems

The split system approach to managing time in simulations of hybrid systems having continuous and discrete event components*

Simulation

Sufficient optimality conditions for continuous-discrete systems with multiple instantaneous switchings of the discrete part

Journal of Computer and Systems Sciences International

Iterative optimization algorithms for discrete-continuous processes

Automation and Remote Control