Results 151 to 160 of about 21,783,491 (356)

Data‐Driven Distributed Safe Control Design for Multi‐Agent Systems

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents a data‐driven control barrier function (CBF) technique for ensuring safe control of multi‐agent systems (MASs) with uncertain linear dynamics. A data‐driven quadratic programming (QP) optimization is first developed for CBF‐based safe control of single‐agent systems using a nonlinear controller. This approach is then extended to the
Marjan Khaledi, Bahare Kiumarsi
wiley   +1 more source

Using induction and BDDs to model check invariants [PDF]

, 1997
David Déharbe, Anamaria Martins Moreira
openalex   +1 more source

Statistical Model Checking

Computing and Software Science, 2019
Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, S. Smolka, R. Grosu   +5 more
semanticscholar   +1 more source

β‐Catenin/c‐Myc Axis Modulates Autophagy Response to Different Ammonia Concentrations

Advanced Biology, Volume 9, Issue 3, March 2025.
Ammonia, detoxified by the liver into urea and glutamine, impacts autophagy differently at varying levels. Low ammonia activates autophagy via c‐Myc and β‐catenin, while high levels suppress it. Using Huh7 cells and Spf‐ash mice, c‐Myc's role in cytoprotective autophagy is revealed, offering insights into hyperammonemia and potential therapeutic ...
S. Sergio, B. Spedicato, G. Corallo, A. Inguscio, M. Greco, D. Musarò, D. Vergara, A. F. Muro, G. De Sabbata, L. R. Soria, N. Brunetti Pierri, M. Maffia   +11 more
wiley   +1 more source

Compositional and Symbolic Model-Checking of Real-Time Systems

, 1996
Kim G. Larsen, Paul Pettersson, Yi Wang
openalex   +2 more sources

HORNSAT, model checking, verification and games [PDF]

, 1996
Sandeep K. Shukla, Harry B. Hunt, Daniel J. Rosenkrantz   +2 more
openalex   +1 more source

Using a Supramolecular Approach to Engineer Modular Hydrogel Platforms for Culturing Protoplasts – from General Tissue Engineering to Cellular Agriculture

Advanced Biology, EarlyView.
Using supramolecular monomers, various hydrogel culture systems were formulated to culture protoplasts; including 2D, 2.5D, and 3D hydrogels. Depending on the culture platform, bioactive functionalization led to protoplast enlargement (2D and 2.5D) or plasmolysis (3D). This work shows the potential to modularly engineer synthetic platforms for cellular
Maritza M. Rovers, Erik J. Slootweg, Ferdinand C. O. Los, Patricia Y. W. Dankers   +3 more
wiley   +1 more source

HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps. [PDF]

Sensors (Basel), 2022
Hamza AA, Abdel Halim IT, Sobh MA, Bahaa-Eldin AM.   +3 more
europepmc   +1 more source

Model Checking via Reachability Testing for Timed Automata

, 1997
Luca Aceto, Augusto Burgueño, Kim G. Larsen   +2 more
openalex   +2 more sources

Unrolling of Syngonium podophyllum: Functional Anatomy, Morphology and Modelling of Its Peltate Leaves

Advanced Biology, EarlyView.
The unrolling of the peltate leaves in Syngonium podophyllum is analyzed and quantified (left‐hand side to center). These measurements serve to verify a mathematical model for leaf unrolling based on the model used in Schmidt (2007). An additional formula for obtaining a layer mismatch from a prescribed radius is derived.
Michelle Modert, Nick Seinsche, Sören Bartels, Tom Masselter, Thomas Speck   +4 more
wiley   +1 more source