Results 51 to 60 of about 334,035 (230)
A Systematic Review of Key Challenges in Hybrid HVAC–HVDC Grids
The concept of hybrid high-voltage alternating current (HVAC) and high-voltage direct current (HVDC) grid systems brings a massive advantage to reduce AC line loading, increased utilization of network infrastructure, and lower operational costs. However,
Umar Javed+9 more
doaj +1 more source
Decentralized supervisory control with coalgebra [PDF]
Coalgebraic methods provide new results and insights for the supervisory control of discrete-event systems (DES). In this paper a coalgebraic framework for the decentralized control of DES is proposed. The paper is based on the formalism developed for the supervisory control of DES in the partial observation case, the notion of bisimulation, and its ...
Jan H. van Schuppen, Jan Komenda
openaire +3 more sources
The enzyme 5‐lipoxygenase (5‐LOX) catalyzes the first step in the biosynthesis of leukotrienes (LTs) involved in inflammatory pathophysiology. After cellular stimulation, 5‐LOX translocates to the nucleus, interacting with the 5‐LOX‐activating protein (FLAP) to form LTA4 from arachidonic acid (AA).
Erik Romp+5 more
wiley +1 more source
Hierarchical interface-based supervisory control using the conflict preorder [PDF]
Hierarchical Interface-Based Supervisory Control decomposes a large discrete event system into subsystems linked to each other by interfaces, facilitating the design of complex systems and the re-use of components.
Leduc, Ryan, Malik, Robi
core +3 more sources
Brucella NyxA and NyxB dimerization enhances effector function during infection
Brucella abortus thrives inside cells thanks to the translocation of effector proteins that fine‐tune cellular functions. NyxA and NyxB are two effectors that destabilize the nucleolar localization of their host target, SENP3. We show that the Nyx proteins directly interact with each other and that their dimerization is essential for their function ...
Lison Cancade‐Veyre+4 more
wiley +1 more source
Theory of Regions for Control Synthesis without Computing Reachability Graph
This paper addresses the design of Petri net (PN) supervisor using the theory of regions for forbidden state problem with a set of general mutual exclusion constraints. In fact, as any method of supervisory control based on reachability graph, the theory
Sadok Rezig, Zied Achour, Nidhal Rezg
doaj +1 more source
Progressive events in supervisory control and compositional verification [PDF]
This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results.
Malik, Robi, Ware, Simon
core +2 more sources
Disruption of SETD3‐mediated histidine‐73 methylation by the BWCFF‐associated β‐actin G74S mutation
The β‐actin G74S mutation causes altered interaction of actin with SETD3, reducing histidine‐73 methylation efficiency and forming two distinct actin variants. The variable ratio of these variants across cell types and developmental stages contributes to tissue‐specific phenotypical changes. This imbalance may impair actin dynamics and mechanosensitive
Anja Marquardt+8 more
wiley +1 more source
Purification tags markedly affect self‐aggregation of CPEB3
Although recombinant proteins are used to study protein aggregation in vitro, uncleaved tags can interfere with accurate interpretation. Our findings demonstrate that His₆‐GFP and His₁₂ tags significantly affect liquid droplet and amyloid fibril formation in the intrinsically disordered region (IDR) of mouse cytoplasmic polyadenylation element‐binding ...
Harunobu Saito+6 more
wiley +1 more source
Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets
Despite advances in automated manufacturing systems (AMSs), faults occur from time to time, which cannot be avoided in a complex real system. A fault is one of the primary causes of failures making some AMS operations unable to complete, and the ...
Ebrahim Ali Alzalab+3 more
doaj +1 more source