Bisimulation equivalence of differential-algebraic systems.

Noorma Yulia Megawati Arjan van der Schaft

Published in: Int. J. Control (2018)

Keyphrases

management system
distributed systems
case study
expert systems
complex systems
real time
databases
image processing
information technology
higher order
computing systems