T Technology (General)

Subject

Browse all works related to T Technology (General).

"224" Result

Game Semantics is an approach to denotational semantics that has been successful in providing accurate, fully abstract models for various programming languages. It has thereafter been applied, amongst other things, to model checking, access control analysis, information flow ana…

This thesis reports a new method for stability analysis and maximum time delay estimation in networked control systems with applications to distributed energy systems. The proposed new method is based on using finite difference approximation for the delay term and then the Lyapu…