Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Even simple hybrid systems like the classic bouncing ball can exhibit Zeno behaviors. The existence of this type of behavior has so far forced simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad hoc restrictions to circumvent Zeno behavior or to abandon hybrid modeling. To address this problem, we take a fresh look at event detection and localization. A key insight that emerges from this investigation is that an enclosure for a given time interval can be valid independently of the occurrence of a given event. Such an event can then even occur an unbounded number of times, thus making it possible to handle certain types of Zeno behavior.

Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Even simple hybrid automata like the classic bouncing ball can exhibit Zeno behavior. The existence of this type of behavior has so far forced a large class of simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad-hoc restrictions to circumvent Zeno behavior or to abandon hybrid automata. To address this problem, we take a fresh look at event detection and localization. A key insight that emerges from this investigation is that an enclosure for a given time interval can be valid independent of the occurrence of a given event. Such an event can then even occur an unbounded number of times. This insight makes it possible to handle some types of Zeno behavior. If the post-Zeno state is defined explicitly in the given model of the hybrid automaton, the computed enclosure covers the corresponding trajectory that starts from the Zeno point through a restarted evolution.

Effects of ball-milling on PLGA polymer and its implication on lansoprazole-loaded nanoparticles

PLGA is a biodegradable polymer utilised widely in pharmaceutical research for the encapsulation of a wide range of drugs as nano particulate systems. This study investigates the impact of rotary ball milling on the physical properties of PLGA and its influence on nanoparticle formation prepared using the solvent displacement technique. By applying mechanical stress to the polymer and altering its physical appearance and molecular weight, the loading of lansoprazole within the nanoparticles was increased to 96%, with a reduction in particle size. The results indicate that rotary ball milling significantly reduces particle size, increases lansoprazole loading and improves the release profile for lansoprazole loaded PLGA nanoparticles.