Control / Cyber-Physical Systems

Stream: CSLib

[Bashar Hamade]

Hello, I have been working on formalizing different concepts related to control theory and cyber-physical systems, as part of my job under the supervision of Prof.Martina Maggio . As I see , there has not been anything related to that , so it would be great if we can add a directory for that into Cslib in my opinion , and I am gonna keep formalizing more concepts for that anyways for my job

[Bashar Hamade]

I have recently made my first PR (along with some game semantics stuff), sorry if it is a lot but I have been working on it for a long time so I had maybe a bit too much to contribute as part of my first PR