Results 71 to 80 of about 1,755,572 (349)

Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. [PDF]

, 2005
The topic of this paper is the analysis of stability for a class of switched linear systems, modeled by hybrid automata. In each location of the hybrid automaton the dynamics is assumed to be linear and asymptotically stable; the guards on the ...
Langerak, Rom, Polderman, Jan Willem
core   +4 more sources

Mechanically Tunable Bone Scaffolds: In Vivo Hardening of 3D‐Printed Calcium Phosphate/Polycaprolactone Inks

Advanced Functional Materials, EarlyView.
A 3D bone scaffold with osteogenic properties and capable of hardening in vivo is developed. The scaffold is implanted in a ductile state, and a phase transformation of the ceramic induces the stiffening and strengthening of the scaffold in vivo. Abstract Calcium phosphate 3D printing has revolutionized customized bone grafting.
Miguel Mateu‐Sanz, Pablo Varela, Laura del‐Mazo‐Barbara, Irene Lodoso‐Torrecilla, Emilio Jiménez‐Piqué, Jordi Franch, Miguel Alaminos, Maria‐Pau Ginebra   +7 more
wiley   +1 more source

Conversion and verification procedure for goal-based control programs [PDF]

, 2007
Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion Laboratory, takes a goal-based control approach. In
Braman, J. M. B., Murray, R. M.
core   +1 more source

Analysis of Non-Linear Probabilistic Hybrid Systems

, 2011
This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al.
Assouramou, Joseph, Desharnais, Josée
core   +2 more sources

Functional Materials for Environmental Energy Harvesting in Smart Agriculture via Triboelectric Nanogenerators

Advanced Functional Materials, EarlyView.
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva, Giulio Fatti, Emanuel Carlos, Guilherme Ferreira, Sumita Goswami, Suman Nandy, Luiz H. C. Mattoso, Elvira Fortunato, Caio G. Otoni, Rodrigo Martins   +9 more
wiley   +1 more source

Study of Recrystallization in Metals through Equiaxial Growth of Nuclei by Computational Simulation with Three-Dimensional Hybrid Cellular Automata [PDF]

Materials Research
Cellular Automata (CA) are powerful simulation tools that operate through discrete elements and associations. CA undirected neighborhood searches may produce specific grain shapes (e.g., octahedral, cuboctahedral, cubic), but not spherical ones. However,
Henrique Costa Braga, Sidney Nicodemos da Silva   +1 more
doaj   +1 more source

HYPE with stochastic events [PDF]

, 2010
The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of ...
Bortolussi, Luca, Galpin, Vashti, Hillston, Jane   +2 more
core   +4 more sources

Algebraic Invariants for Linear Hybrid Automata

, 2019
We exhibit an algorithm to compute the strongest algebraic (or polynomial) invariants that hold at each location of a given unguarded linear hybrid automaton (i.e., a hybrid automaton having only unguarded transitions, all of whose assignments are given by affine expressions, and all of whose continuous dynamics are given by linear differential ...
Majumdar, Rupak, Ouaknine, Joël, Pouly, Amaury, Worrell, James   +3 more
openaire   +6 more sources

Ice Lithography: Recent Progress Opens a New Frontier of Opportunities

Advanced Functional Materials, EarlyView.
This review focuses on recent advancements in ice lithography, including breakthroughs in compatible precursors and substrates, processes and applications, hardware, and digital methods. Moreover, it offers a roadmap to uncover innovation opportunities for ice lithography in fields such as biological, nanoengineering and microsystems, biophysics and ...
Bingdong Chang, Gwendoline A. E. Anand, Rubaiyet Haque, Dylan A. Chiaro, Mona Sharma, Andrew R. Williams, Frank Niklaus, Daryl W. Yee, Gavin M. King, Anpan Han   +9 more
wiley   +1 more source

A hybrid model for HIV transmission among men who have sex with men

Infectious Disease Modelling, 2020
AIDS has spread throughout the world for decades. Men who have sex with men (MSM) is the harder-hit sector of sexually transmitted diseases due to their physiological characteristics.
Chongpeng Zhong, Mingzhu Sun, Wei Yao
doaj   +1 more source