A. Bacciotti (2005):
Generalized solutions of differential inclusions and stability.
Ital. J. Pure Appl. Math,
pp. 183–192.
R. Baheti & H. Gill (2011):
Cyber-physical systems.
The Impact of Control Technology,
pp. 161–166.
A. F. Filippov (1988):
Differential Equations with Discontinuous Righthand Sides.
Springer Netherlands,
doi:10.1007/978-94-015-7793-9.
R. Goebel, R. G. Sanfelice & A. Teel (2009):
Hybrid dynamical systems.
Control Systems, IEEE 29(2),
pp. 28–93,
doi:10.1109/MCS.2008.931718.
O. Hájek (1967):
Theory of processes, I.
Czechoslovak Mathematical Journal 17,
pp. 159–199.
O. Hájek (1967):
Theory of processes, II.
Czechoslovak Mathematical Journal 17(3),
pp. 372–398.
Ievgen Ivanov (2013):
A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.
In: ICT in Education, Research, and Industrial Applications.
Springer,
pp. 111–130,
doi:10.1007/978-3-642-35737-4_7.
Ievgen Ivanov (2013):
On Existence of Total Input-Output Pairs of Abstract Time Systems.
In: Information and Communication Technologies in Education, Research, and Industrial Applications.
Springer,
pp. 308–331,
doi:10.1007/978-3-319-03998-5_16.
Ievgen Ivanov (2014):
On Representations of Abstract Systems with Partial Inputs and Outputs.
In: Lecture Notes in Computer Science.
Springer,
pp. 104–123,
doi:10.1007/978-3-319-06089-7_8.
Ievgen Ivanov (2016):
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems.
In: Coalgebraic Methods in Computer Science.
Springer,
pp. 216–234,
doi:10.1007/978-3-319-40370-0_13.
E.A. Lee & S.A. Seshia (2017):
Introduction to embedded systems: A cyber-physical systems approach, Second Edition.
MIT Press.
Daniel Liberzon (2003):
Switching in Systems and Control.
Birkhäuser Boston,
doi:10.1007/978-1-4612-0017-8.
Dušan Repovš & Pavel V. Semenov (2013):
Continuous Selections of Multivalued Mappings.
In: Recent Progress in General Topology III.
Atlantis Press,
pp. 711–749,
doi:10.2991/978-94-6239-024-9_17.
eptcs@eptcs.org