output
19962026
most citedAb-initio calculations of exchange interactions, spin-wave stiffness constants, and Curie temperatures of Fe, Co, and Ni

605 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing eess.SYShow all

2 papers · 1 filter

eess.SY2018

Critical Observability for Automata and Petri Nets

Tomáš Masopust

Critical observability is a property of cyber-physical systems to detect whether the current state belongs to a set of critical states. In safety-critical applications, critical st…

eess.SY2017★ 1 cited

Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems

Tomáš Masopust, Xiang Yin

We study the complexity of deciding whether a modular discrete event system is detectable (resp. opaque, A-diagnosable). Detectability arises in the state estimation of discrete ev…