Results 51 to 60 of about 41,229 (313)
, 2008 This paper studies the nonblocking check used in supervisory control of discrete event systems and its limitations. Different examples with different liveness requirements are discussed.
Malik, Robi +3 more
core +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
Energies, 2020 In this paper, energy management and control of a microgrid is developed through supervisor and adaptive neuro-fuzzy wavelet-based control controllers considering real weather patterns and load variations. The supervisory control is applied to the entire
Tariq Kamal +4 more
doaj +1 more source
Supervisory Control for Behavior Composition [PDF]
IEEE Transactions on Automatic Control, 2017 We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior module (e.g., a house surveillance system) by suitably coordinating a collection of available behaviors (e.g., automatic blinds, doors, lights ...
Paolo Felli +2 more
openaire +2 more sources
Compositional supervisory control via reactive synthesis and automated planning [PDF]
, 2019 We show how reactive synthesis and automatedplanning can be leveraged effectively to find non-maximal solu-tions to deterministic supervisory control problems of discreteevent systems.
Ciolek, Daniel +4 more
core +1 more source
Supervisory Control for Dynamic Feature Configuration in Product Lines [PDF]
, 2020 In this paper a method for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model.
Thuijsman, Sander B. +3 more
core +1 more source
Supervisory control synthesis for large-scale systems with isomorphisms [PDF]
, 2021 The complexity of the design of supervisory controllers for today's high-tech systems is ever increasing with the rise in demands for higher safety and functionality.
Maessen, P. +5 more
core +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Norm Enforcement as Supervisory Control [PDF]
, 2017 In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems.
Mehdi Dastani +2 more
openaire +4 more sources
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source