In this work, we propose and develop a new discrete-event based actuator attack model on the closed-loop system formed by the plant and the supervisor. We assume the actuator attacker partially observes the execution of the closed-loop system and eavesdrops the control commands issued by the supervisor. The attacker can modify each control command on a specified subset of attackable events. The attack principle of the actuator attacker is to remain covert until it can establish a successful attack and lead the attacked closed-loop system into generating certain damaging strings. We present a characterization for the existence of a successful attacker, via a new notion of attackability, and prove the existence of the supremal successful actuator attacker, when both the supervisor and the attacker are normal (that is, unobservable events to the supervisor cannot be disabled by the supervisor and unobservable events to the attacker cannot be attacked by the attacker). Finally, we present an algorithm to synthesize the supremal successful attackers that are represented by Moore automata.Keywords cyber-physical systems · discrete-event systems · supervisory control · actuator attack · partial observation IntroductionRecently, cyber-physical systems have drawn much research interest within the discreteevent systems and formal methods community [1]

No abstract

Summary Despite the well‐known occurrence of ‘standing‐dead’ emergent plant litter in freshwater marshes, the role of fungi in its decomposition is poorly known. Here, we quantified the growth and biomass dynamics of fungi associated with standing‐dead Typha domingensis leaves, estimated the contribution of fungi to carbon flow during decomposition and assessed their contribution to nutrient (nitrogen and phosphorus) cycling. In a subtropical freshwater marsh, standing leaves of T. domingensis were sampled in August while living (green) and then monthly during leaf senescence and standing‐dead decomposition for 1 year. Leaf samples were analysed for mass loss, fungal biomass (ergosterol), rates of fungal production (14C‐acetate incorporation) and microbial respiration (CO2 evolution), and for litter chitin (glucosamine), carbon, N and P concentrations. Losses in T. domingensis leaf carbon (37%) occurred during senescence and standing decomposition. During this time, increases in ergosterol and chitin concentrations were observed in the standing litter, indicating the rapid colonisation of decaying Typha leaves by fungi. Estimated fungal biomass (from ergosterol) reached a maximum of 37 mg C g−1 detrital C. Over the entire study period, estimated cumulative fungal production in standing Typha litter was 39 mg C g−1 initial detrital C, indicating that 11% of leaf C was converted to fungal C. The corresponding estimate of cumulative microbial respiration was 136 mg C g−1 initial detrital C, indicating that 37% of Typha leaf litter C was mineralised by microorganisms (bacteria and fungi) during decomposition. Fungi also immobilised up to c.27% and c.55% of the total detrital N and P, respectively. Fungi play an important role in the cycling of C and nutrients in freshwater marshes, and this should be integrated into current models that describe major biogeochemical pathways.

No abstract

No abstract