https://code.google.com/archive/p/isabelle-behavioral-approach/downloads
Jean-Pierre Aubin
2009
Viability Theory
Springer Nature
10.1007/978-0-8176-4910-4
A. Bacciotti
2005
Generalized solutions of differential inclusions and stability
Ital. J. Pure Appl. Math
183–192
R. Baheti
H. Gill
2011
Cyber-physical systems
The Impact of Control Technology
161–166
A. F. Filippov
1988
Differential Equations with Discontinuous Righthand Sides
Springer Netherlands
10.1007/978-94-015-7793-9
R. Goebel
R. G. Sanfelice
A. Teel
2009
Hybrid dynamical systems
Control Systems, IEEE
29
2
28–93
10.1109/MCS.2008.931718
O. Hájek
1967
Theory of processes, I
Czechoslovak Mathematical Journal
17
159–199
O. Hájek
1967
Theory of processes, II
Czechoslovak Mathematical Journal
17
3
372–398
Ievgen Ivanov
2013
A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems
ICT in Education, Research, and Industrial Applications
Springer
111–130
10.1007/978-3-642-35737-4_7
Ievgen Ivanov
2013
On Existence of Total Input-Output Pairs of Abstract Time Systems
Information and Communication Technologies in Education, Research, and Industrial Applications
Springer
308–331
10.1007/978-3-319-03998-5_16
Ievgen Ivanov
2014
On Representations of Abstract Systems with Partial Inputs and Outputs
Lecture Notes in Computer Science
Springer
104–123
10.1007/978-3-319-06089-7_8
Ievgen Ivanov
2016
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
Coalgebraic Methods in Computer Science
Springer
216–234
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
10.1007/978-1-4612-0017-8
Dušan Repovš
Pavel V. Semenov
2013
Continuous Selections of Multivalued Mappings
Recent Progress in General Topology III
Atlantis Press
711–749
10.2991/978-94-6239-024-9_17