Package artimon

Examples of queries processed by the ARTiMon runtime monitor. More...

Classes
class	Engine
	Compute data about the execution of a hybrid car engine. More...

Detailed Description

Examples of queries processed by the ARTiMon runtime monitor.

The single example in this section is taken from:

N. Rapin. (2016). Reactive Property Monitoring of Hybrid Systems with Aggregation. Proc. RV 2016, Springer LNCS 10012. DOI: 10.1007/978-3-319-46982-9_28

Author

Sylvain Hallé