Browse
Submit Data
Databases
API
Help

Dataset Information

0 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications.

ABSTRACT: Genetic algorithms are widely adopted to solve optimization problems in robotic applications. In such safety-critical systems, it is vitally important to formally prove the correctness when genetic algorithms are applied. This paper focuses on formal modeling of crossover operations that are one of most important operations in genetic algorithms. Specially, we for the first time formalize crossover operations with higher-order logic based on HOL4 that is easy to be deployed with its user-friendly programing environment. With correctness-guaranteed formalized crossover operations, we can safely apply them in robotic applications. We implement our technique to solve a path planning problem using a genetic algorithm with our formalized crossover operations, and the results show the effectiveness of our technique.

SUBMITTER: Zhang J

PROVIDER: S-EPMC5660715 | biostudies-other | 2017

REPOSITORIES: biostudies-other

ACCESS DATA

Json Xml

Publications

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications.

Zhang Jie J Kang Man M Li Xiaojuan X Liu Geng-Yang GY

Frontiers in neurorobotics 20171024

Genetic algorithms are widely adopted to solve optimization problems in robotic applications. In such safety-critical systems, it is vitally important to formally prove the correctness when genetic algorithms are applied. This paper focuses on formal modeling of crossover operations that are one of most important operations in genetic algorithms. Specially, we for the first time formalize crossover operations with higher-order logic based on HOL4 that is easy to be deployed with its user-friendl ...[more]

PMID: 29114217

Similar Datasets

SAUV-A Bio-Inspired Soft-Robotic Autonomous Underwater Vehicle.

Project description:Autonomous and remotely operated underwater vehicles allow us to reach places which have previously been inaccessible and perform complex repair, exploration and analysis tasks. As their navigation is not infallible, they may cause severe damage to themselves and their often fragile surroundings, such as flooded caves, coral reefs, or even accompanying divers in case of a collision. In this study, we used a shallow neural network, consisting of interlinking PID controllers, and trained by a genetic algorithm, to control a biologically inspired AUV with a soft and compliant exoskeleton. Such a compliant structure is a versatile and passive solution which reduces the accelerations induced by collisions to 56% of the original mean value acting upon the system, thus, notably reducing the stress on its components and resulting reaction forces on its surroundings. The segmented structure of this spherical exoskeleton protects the encased system without limiting the use of cameras, sensors or manipulators.

| S-EPMC7047442 | biostudies-literature

A Bio-inspired Grasp Stiffness Control for Robotic Hands.

Project description:This work presents a bio-inspired grasp stiffness control for robotic hands based on the concepts of Common Mode Stiffness (CMS) and Configuration Dependent Stiffness (CDS). Using an ellipsoid representation of the desired grasp stiffness, the algorithm focuses on achieving its geometrical features. Based on preliminary knowledge of the fingers workspace, the method starts by exploring the possible hand poses that maintain the grasp contacts on the object. This outputs a first selection of feasible grasp configurations providing the base for the CDS control. Then, an optimization is performed to find the minimum joint stiffness (CMS control) that would stabilize these grasps. This joint stiffness can be increased afterwards depending on the task requirements. The algorithm finally chooses among all the found stable configurations the one that results in a better approximation of the desired grasp stiffness geometry (CDS). The proposed method results in a reduction of the control complexity, needing to independently regulate the joint positions, but requiring only one input to produce the desired joint stiffness. Moreover, the usage of the fingers pose to attain the desired grasp stiffness results in a more energy-efficient configuration than only relying on the joint stiffness (i.e., joint torques) modifications. The control strategy is evaluated using the fully actuated Allegro Hand while grasping a wide variety of objects. Different desired grasp stiffness profiles are selected to exemplify several stiffness geometries.

| S-EPMC7805693 | biostudies-literature

Application of bio-inspired optimization algorithms in food processing.

Project description:Bio-inspired optimization techniques (BOT) are part of intelligent computing techniques. There are several BOTs available and many new BOTs are evolving in this era of industrial revolution 4.0. Genetic algorithm, particle swarm optimization, artificial bee colony, and grey wolf optimization are the techniques explored by researchers in the field of food processing technology. Although, there are other potential methods that may efficiently solve the optimum related problem in food industries. In this review, the mathematical background of the techniques, their application and the potential microbial-based optimization methods with higher precision has been surveyed for a complete and comprehensive understanding of BOTs along with their mechanism of functioning. These techniques can simulate the process efficiently and able to find the near-to-optimal value expeditiously.

| S-EPMC8866069 | biostudies-literature

Bio-Inspired Extreme Wetting Surfaces for Biomedical Applications.

Project description:Biological creatures with unique surface wettability have long served as a source of inspiration for scientists and engineers. More specifically, materials exhibiting extreme wetting properties, such as superhydrophilic and superhydrophobic surfaces, have attracted considerable attention because of their potential use in various applications, such as self-cleaning fabrics, anti-fog windows, anti-corrosive coatings, drag-reduction systems, and efficient water transportation. In particular, the engineering of surface wettability by manipulating chemical properties and structure opens emerging biomedical applications ranging from high-throughput cell culture platforms to biomedical devices. This review describes design and fabrication methods for artificial extreme wetting surfaces. Next, we introduce some of the newer and emerging biomedical applications using extreme wetting surfaces. Current challenges and future prospects of the surfaces for potential biomedical applications are also addressed.

| S-EPMC5456462 | biostudies-other

Bio-inspired wooden actuators for large scale applications.

Project description:Implementing programmable actuation into materials and structures is a major topic in the field of smart materials. In particular the bilayer principle has been employed to develop actuators that respond to various kinds of stimuli. A multitude of small scale applications down to micrometer size have been developed, but up-scaling remains challenging due to either limitations in mechanical stiffness of the material or in the manufacturing processes. Here, we demonstrate the actuation of wooden bilayers in response to changes in relative humidity, making use of the high material stiffness and a good machinability to reach large scale actuation and application. Amplitude and response time of the actuation were measured and can be predicted and controlled by adapting the geometry and the constitution of the bilayers. Field tests in full weathering conditions revealed long-term stability of the actuation. The potential of the concept is shown by a first demonstrator. With the sensor and actuator intrinsically incorporated in the wooden bilayers, the daily change in relative humidity is exploited for an autonomous and solar powered movement of a tracker for solar modules.

| S-EPMC4383548 | biostudies-literature

Bio-inspired stable antimicrobial peptide coatings for dental applications.

Project description:We developed a novel titanium coating that has applications for preventing infection-related implant failures in dentistry and orthopedics. The coating incorporates an antimicrobial peptide, GL13K, derived from parotid secretory protein, which has been previously shown to be bactericidal and bacteriostatic in solution. We characterized the resulting physicochemical properties, resistance to degradation, activity against Porphyromonas gingivalis and in vitro cytocompatibility. Porphyromonas gingivalis is a pathogen associated with dental peri-implantitis, an inflammatory response to bacteria resulting in bone loss and implant failure. Our surface modifications obtained a homogeneous, highly hydrophobic and strongly anchored GL13K coating that was resistant to mechanical, thermochemical and enzymatic degradation. The GL13K coatings had a bactericidal effect and thus significantly reduced the number of viable bacteria compared to control surfaces. Finally, adequate proliferation of osteoblasts and human gingival fibroblasts demonstrated the GL13K coating's cytocompatibility. The robustness, antimicrobial activity and cytocompatibility of GL13K-biofunctionalized titanium make it a promising candidate for sustained inhibition of bacterial biofilm growth. This surface chemistry provides a basis for development of multifunctional bioactive surfaces to reduce patient morbidities and improve long-term clinical efficacy of metallic dental and orthopedic implants.

| S-EPMC3758876 | biostudies-literature

A Review on Development and Applications of Bio-Inspired Superhydrophobic Textiles.

Project description:Bio-inspired engineering has been envisioned in a wide array of applications. All living bodies on Earth, including animals and plants, have well organized functional systems developed by nature. These naturally designed functional systems inspire scientists and engineers worldwide to mimic the system for practical applications by human beings. Researchers in the academic world and industries have been trying, for hundreds of years, to demonstrate how these natural phenomena could be translated into the real world to save lives, money and time. One of the most fascinating natural phenomena is the resistance of living bodies to contamination by dust and other pollutants, thus termed as self-cleaning phenomenon. This phenomenon has been observed in many plants, animals and insects and is termed as the Lotus Effect. With advancement in research and technology, attention has been given to the exploration of the underlying mechanisms of water repellency and self-cleaning. As a result, various concepts have been developed including Young's equation, and Wenzel and Cassie-Baxter theories. The more we unravel this process, the more we get access to its implications and applications. A similar pursuit is emphasized in this review to explain the fundamental principles, mechanisms, past experimental approaches and ongoing research in the development of bio-inspired superhydrophobic textiles.

| S-EPMC5457239 | biostudies-other

One Soft Step: Bio-Inspired Artificial Muscle Mechanisms for Space Applications.

Project description:Soft robots, devices with deformable bodies and powered by soft actuators, may fill a hitherto unexplored niche in outer space. All space-bound payloads are heavily limited in terms of mass and volume, due to the cost of launch and the size of spacecraft. Being constructed from stretchable materials allows many possibilities for compacting soft robots for launch and later deploying into a much larger volume, through folding, rolling, and inflation. This morphability can also be beneficial for adapting to operation in different environments, providing versatility, and robustness. To be truly soft, a robot must be powered by soft actuators. Dielectric elastomer transducers (DETs) offer many advantages as artificial muscles. They are lightweight, have a high work density, and are capable of artificial proprioception. Taking inspiration from nature, in particular the starfish podia, we present here bio-inspired inflatable DET actuators powering low-mass robots capable of performing complex motion that can be compacted to a fraction of their operating size.

| S-EPMC8793852 | biostudies-literature

ED-BioRob: A Neuromorphic Robotic Arm With FPGA-Based Infrastructure for Bio-Inspired Spiking Motor Controllers.

Project description:Compared to classic robotics, biological nervous systems respond to stimuli in a fast and efficient way regarding the body motor actions. Decision making, once the sensory information arrives to the brain, is in the order of ms, while the whole process from sensing to movement requires tens of ms. Classic robotic systems usually require complex computational abilities. Key differences between biological systems and robotic machines lie in the way information is coded and transmitted. A neuron is the "basic" element that constitutes biological nervous systems. Neurons communicate in an event-driven way through small currents or ionic pulses (spikes). When neurons are arranged in networks, they allow not only for the processing of sensory information, but also for the actuation over the muscles in the same spiking manner. This paper presents the application of a classic motor control model (proportional-integral-derivative) developed with the biological spike processing principle, including the motor actuation with time enlarged spikes instead of the classic pulse-width-modulation. This closed-loop control model, called spike-based PID controller (sPID), was improved and adapted for a dual FPGA-based system to control the four joints of a bioinspired light robot (BioRob X5), called event-driven BioRob (ED-BioRob). The use of spiking signals allowed the system to achieve a current consumption bellow 1A for the entire 4 DoF working at the same time. Furthermore, the robot joints commands can be received from a population of silicon-neurons running on the Dynap-SE platform. Thus, our proposal aims to bridge the gap between a general purpose processing analog neuromorphic hardware and the spiking actuation of a robotic platform.

| S-EPMC7735321 | biostudies-literature

Modular robotic platform for precision neurosurgery with a bio-inspired needle: System overview and first in-vivo deployment.

Project description:Over the past 10 years, minimally invasive surgery (MIS) has shown significant benefits compared to conventional surgical techniques, with reduced trauma, shorter hospital stays, and shorter patient recovery times. In neurosurgical MIS procedures, inserting a straight tool (e.g. catheter) is common practice in applications ranging from biopsy and laser ablation, to drug delivery and fluid evacuation. How to handle tissue deformation, target migration and access to deep-seated anatomical structures remain an open challenge, affecting both the preoperative planning phase and eventual surgical intervention. Here, we present the first neurosurgical platform in the literature, able to deliver an implantable steerable needle for a range of diagnostic and therapeutic applications, with a short-term focus on localised drug delivery. This work presents the system's architecture and first in vivo deployment with an optimised surgical workflow designed for pre-clinical trials with the ovine model, which demonstrate appropriate function and safe implantation.

| S-EPMC9581417 | biostudies-literature

OmicsDI is part of the ELIXIR infrastructure

OmicsDI is an Elixir interoperability service. Learn more ›

Tweets

OmicsDI Databases

PRIDE
PeptideAtlas
MassIVE
JPOST Repository
Physiome Model Repository

EGA
EVA
ENA
LINCS
PAXDB
Cell Collective

MetaboLights
Metabolomics Workbench
MetabolomeExpress
GNPS
BioModels
FAIRDOMHub

ArrayExpress
dbGaP
ExpressionAtlas
GEO
NODE

Information

Databases
Help
API
Contact us
Code on GitHub
Terms of use
Submit Data