News tagged with power grids

Related topics:

Science fiction-style sabotage a fear in new hacks

When a computer attack hobbled Iran's unfinished nuclear power plant last year, it was assumed to be a military-grade strike, the handiwork of elite hacking professionals with nation-state backing.

Oct 23, 2011
4.3 / 5 (11) 21

Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software ...

Mar 19, 2013
5 / 5 (6) 8 | with audio podcast