Verification and Control of Hybrid Systems - A Symbolic Approach

961 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Practical verification of decision-making in agent-based autonomous systems (2013, background): “1994) and abstractions for model checking hybrid systems have been extensively studied (Alur et al. 1995; Henzinger et al. 1997; Tiwari 2008; Tabuada 2009).”
dtControl: decision tree learning algorithms for controller representation (2020, methodology): “For more details on refinement procedures, we kindly refer the interested reader to [1, 30, 31].”
Cyber–Physical Systems: A Perspective at the Centennial (2012, background): “found in [123]–[127] for various approaches for reachability, in [128] for other classes of systems for which some”