Deep residual learning for image recognition

K He, X Zhang, S Ren, J Sun - Proceedings of the IEEE …, 2016 - openaccess.thecvf.com
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 …

Stability criteria for switched and hybrid systems

R Shorten, F Wirth, O Mason, K Wulff, C King - SIAM review, 2007 - SIAM
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 …

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 …

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 …

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 …

[图书][B] Switched and impulsive systems: Analysis, design and applications

Z Li, Y Soh, C Wen - 2005 - books.google.com
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 …

Stability of stochastic nonlinear systems with state-dependent switching

Z Wu, M Cui, P Shi, HR Karimi - IEEE transactions on automatic …, 2013 - ieeexplore.ieee.org
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 …

Effective synthesis of switching controllers for linear systems

E Asarin, O Bournez, T Dang, O Maler… - Proceedings of the …, 2000 - ieeexplore.ieee.org
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 …

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 …

[图书][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 …