The Mِbius state-level abstract functional interface

A key advantage of the Mِbius modeling environment is the ease with which one can incorporate new modeling formalisms, model composition and connection methods, and model solution methods. We present a new state-level abstract functional interface (AFI) for Mِbius that allows numerical solution methods to communicate with Mِbius state-level models via the abstraction of a labeled transition system (LTS). This abstraction and its corresponding implementation yield a useful separation of concerns. We illustrate use of the Mِbius state-level AFI by implementing two state-space representations and several numerical solvers for steady-state and transient analysis.