Volume 8; Issue 2

ACM SIGBED Review

Volume 8; Issue 2
3

Enforcing safety of cyberphysical systems using flatness and abstraction

Colombo, Alessandro, Del Vecchio, Domitilla
Journal:
ACM SIGBED Review
Year:
2011
Language:
english
File:
PDF, 221 KB
english, 2011
4

Passivity-based self-triggered control

Eyisi, Emeka, Koutsoukos, Xenofon
Journal:
ACM SIGBED Review
Year:
2011
Language:
english
File:
PDF, 368 KB
english, 2011
7

The problem with time in mixed continuous/discrete time modelling

Rovers, Kenneth C., Kuper, Jan, Smit, Gerard J. M.
Journal:
ACM SIGBED Review
Year:
2011
Language:
english
File:
PDF, 182 KB
english, 2011
8

A logic-based modeling and verification of CPS

Saeedloei, Neda, Gupta, Gopal
Journal:
ACM SIGBED Review
Year:
2011
Language:
english
File:
PDF, 164 KB
english, 2011
9

Cyber-physical systems for next generation intelligent buildings

Savvides, Andreas, Paschalidis, Ioannis, Caramanis, Michael
Journal:
ACM SIGBED Review
Year:
2011
Language:
english
File:
PDF, 153 KB
english, 2011