Synthesis of covert actuator attackers for free Liyong LinYuting ZhuRong Su OriginalPaper 07 May 2020 Pages: 561 - 577
Model-checking precision agriculture logistics: the case of the differential harvest Rim Saddem-yagoubiOlivier NaudDidier Crestani OriginalPaper 08 May 2020 Pages: 579 - 604
Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control Johannes TrunkBertrand CottenceauJoerg Raisch OriginalPaper Open access 27 May 2020 Pages: 605 - 634
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs Ton J. J. van den BoomMarenne van den MuijsenbergBart De Schutter OriginalPaper Open access 26 April 2020 Pages: 635 - 669
State-based supervisory control with restrictions on the supervisor realization Pedro A. C. F. LeiteFabio L. BaldisseraJosé E. R. Cury OriginalPaper 21 May 2020 Pages: 671 - 693
Diagnosis and Degradation Control for Probabilistic Systems Nathalie BertrandSerge HaddadEngel Lefaucheux OriginalPaper 12 June 2020 Pages: 695 - 723