Deep residual learning for image recognition
Deeper neural networks are more difficult to train. We present a residual learning framework
to ease the training of networks that are substantially deeper than those used previously. We …
to ease the training of networks that are substantially deeper than those used previously. We …
Stability criteria for switched and hybrid systems
The study of the stability properties of switched and hybrid systems gives rise to a number of
interesting and challenging mathematical problems. The objective of this paper is to outline …
interesting and challenging mathematical problems. The objective of this paper is to outline …
Breach, a toolbox for verification and parameter synthesis of hybrid systems
A Donzé - … Aided Verification: 22nd International Conference, CAV …, 2010 - Springer
Abstract We describe Breach, a Matlab/C++ toolbox providing a coherent set of simulation-
based techniques aimed at the analysis of deterministic models of hybrid dynamical …
based techniques aimed at the analysis of deterministic models of hybrid dynamical …
Hybrid systems: Review and recent progress
PJ Antsaklis, XD Koutsoukos - Software‐Enabled Control …, 2003 - Wiley Online Library
The last part of this volume focuses on hybrid dynamical systems, an area of research that
has developed as a result of the increasing interaction, over the last several years, between …
has developed as a result of the increasing interaction, over the last several years, between …
Supervisory control of hybrid systems
XD Koutsoukos, PJ Antsaklis, JA Stiver… - Proceedings of the …, 2000 - ieeexplore.ieee.org
In this paper, the supervisory control of hybrid systems is introduced and discussed at
length. Such control systems typically arise in the computer control of continuous processes …
length. Such control systems typically arise in the computer control of continuous processes …
[图书][B] Switched and impulsive systems: Analysis, design and applications
In this volume the important concept of switched and impulsive control is discussed, with a
wide field of applications in the analysis and control of complex systems. This monograph …
wide field of applications in the analysis and control of complex systems. This monograph …
Stability of stochastic nonlinear systems with state-dependent switching
In this paper, the problem of stability on stochastic systems with state-dependent switching is
investigated. To analyze properties of the switched system by means of Itô's formula and …
investigated. To analyze properties of the switched system by means of Itô's formula and …
Effective synthesis of switching controllers for linear systems
In this paper, we suggest a novel methodology for synthesizing switching controllers for
continuous and hybrid systems whose dynamics are defined by linear differential equations …
continuous and hybrid systems whose dynamics are defined by linear differential equations …
Optimal control of hybrid systems in manufacturing
DL Pepyne, CG Cassandras - Proceedings of the IEEE, 2000 - ieeexplore.ieee.org
Hybrid systems combine time-driven and event-driven dynamics. This is a natural framework
for manufacturing processes: The physical characteristics of production parts undergo …
for manufacturing processes: The physical characteristics of production parts undergo …
[图书][B] Supervisory control of concurrent systems: a Petri net structural approach
M Iordache, PJ Antsaklis - 2007 - books.google.com
Increasing complexity in engineering projects raises difficult challenges in industry and
requires effective tools for correct-by-construction design or design verification. This book …
requires effective tools for correct-by-construction design or design verification. This book …