Results 121 to 130 of about 8,430 (314)
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems. [PDF]
Sensors (Basel), 2022 Daszczuk WB.
europepmc +1 more source
Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines [PDF]
, 2014 Liyong Lin +3 more
openalex +1 more source
Advanced Engineering Materials, EarlyView.This article describes the preparation and characterization of poly(ε‐caprolactone) electrospun composite fibers incorporating sol‐gel‐derived bioactive glass particles doped with B and Cu. Scanning electron microscopy, energy‐dispersive X‐ray spectroscopy, Fourier‐transform infrared spectroscopy, contact angle, acellular bioactivity, mechanical and ...
Elisa Piatti +5 more
wiley +1 more source
starMC: an automata based CTL* model checker. [PDF]
PeerJ Comput Sci, 2022 Amparore EG, Donatelli S, Gallà F.
europepmc +1 more source
Advanced Engineering Materials, EarlyView.Mesoporous bioactive glass nanoparticles (MBGNs) are investigated for bone regeneration given their remarkable structural and functional properties. MBGNs are functionalized with Mn and Cu and incorporated with quercetin, a natural flavonoid exhibiting antioxidant, anti‐inflammatory, and antimicrobial properties.
Giovanni Lo Bello +5 more
wiley +1 more source
SAT and SMT-Based Verification of Security Protocols Including Time Aspects. [PDF]
Sensors (Basel), 2021 Szymoniak S +4 more
europepmc +1 more source
Adaptable Tile‐Based Pneumatic Origami through Structurally Coupled Localized Actuation
Advanced Engineering Materials, EarlyView.This article presents tile‐based pneumatic origami structures with rigid tiles and flexible fabric creases, achieving adaptable properties including morphing shape, selective multistability, and tunable stiffness. Independently pressurized folding bladders at each crease enable structurally coupled localized actuation of origami structures.
Tiantian Li, Jonathan Luntz, Diann Brei
wiley +1 more source
Modeling and verification of data circulation control based on timed automata
Tongxin xuebaoTo address the challenges of verifying the feasibility, correctness, and security of cross-domain data circulation control policies in their generation, transmission, and execution, a formal modeling and verification method was proposed based on timed ...
LI Heng +5 more
doaj
Signal Machine And Cellular Automaton Time-Optimal Quasi-Solutions Of The Firing Squad/Mob Synchronisation Problem On Connected Graphs [PDF]
, 2017 Simon Wacker
openalex +1 more source