@article {4276,
	title = {Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models},
	number = {ISIS-11-106},
	year = {2011},
	month = {04/2011},
	institution = {ISIS, Vanderbilt University},
	address = {Nashville, TN},
	abstract = {We consider the problem of incremental cycle analysis for dataflow models in 
the Embedded Systems Modeling Language (ESMoL).  We give a general form of a
cycle enumeration algorithm that makes use of graph hierarchy to improve
analysis efficiency.  Our framework also stores simple connectivity information
in the model to accelerate future cycle analyses when additional components
are added or modifications are made.  Finally we give a mapping from a term
algebraic model of the ESMoL component model and logical dataflow sublanguages
to the analysis framework, and an evaluation on a fixed-wing aircraft controller model.  This is part of a larger effort to integrate cycle analysis into the ESMoL tool suite to aid well-formedness checking during model construction.
},
	issn = {ISIS-11-106},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/incr_cycle_analysis.pdf},
	author = {Joseph Porter and Balasubramanian, Daniel and Graham Hemingway and Sztipanovits, Janos}
}
