Patent classifications
G05B19/00
Distributed automated synthesis of correct-by-construction controllers
A method includes: receiving a mathematical model of a control system, with state variables and control parameters; discretizing at least a part of a space to obtain a set of tuples; determining for each tuple at least one successor state; obtaining an initial winning set of tuples; determining an updated winning set of tuples, including comparing the at least one successor state with the initial winning set of tuples, where the comparison is distributed over available processing elements by choosing one processing element from the available processing elements for each tuple to perform the comparison and where the available processing elements are used simultaneously at least in part; repeating the determination of the updated winning set of tuples to obtain a new updated winning set of tuples if a convergence measure does not meet a criterion, and constructing a controller for the control system from the new updated winning set.
THREE-DIMENSIONAL LAMINATING AND SHAPING APPARATUS, CONTROL METHOD OF THREE-DIMENSIONAL LAMINATING AND SHAPING APPARATUS, AND CONTROL PROGRAM OF THREE-DIMENSIONAL LAMINATING AND SHAPING APPARATUS
A three-dimensional shaped object using a plurality of materials can be shaped, and replenishment of the materials is implemented during shaping without stopping an apparatus. A three-dimensional laminating and shaping apparatus includes a shaping chamber in which a three-dimensional laminated and shaped object is shaped, at least two material spreaders that are provided in the shaping chamber and spread materials of the three-dimensional laminated and shaped object, at least two material suppliers that supply the materials to the material spreaders, a controller that controls movements of the material spreaders and the material suppliers, and a beam irradiator that irradiates the materials with a beam. The material spreaders and the material suppliers are respectively paired, and the controller controls the movements of the material spreaders and the material suppliers so that each of the material spreaders is supplied, at a predetermined timing, with the material from a paired one of the material suppliers.
Transaction-enabled systems and methods for resource acquisition for a fleet of machines
The present disclosure describes transaction-enabling systems and methods. A system can include a controller and a fleet of machines, each having at least one of a compute task requirement, a networking task requirement, and an energy consumption task requirement. The controller may include a resource requirement circuit to determine an amount of a resource for each of the machines to service the task requirement for each machine, a forward resource market circuit to access a forward resource market, and a resource distribution circuit to execute an aggregated transaction of the resource on the forward resource market.
Transaction-enabled systems and methods for resource acquisition for a fleet of machines
The present disclosure describes transaction-enabling systems and methods. A system can include a controller and a fleet of machines, each having at least one of a compute task requirement, a networking task requirement, and an energy consumption task requirement. The controller may include a resource requirement circuit to determine an amount of a resource for each of the machines to service the task requirement for each machine, a forward resource market circuit to access a forward resource market, and a resource distribution circuit to execute an aggregated transaction of the resource on the forward resource market.
Computing system with discriminative classifier for determining similarity of a monitored gas delivery process
A gas delivery apparatus is provided, comprising a system controller configured to collect valve position information and sensor information from at least a plurality of the sensors and valves, store the valve position information and sensor information into the monitored gas delivery process data, and execute the discriminative classifier including a first artificial intelligence (AI) model configured to extract features in a first input image of the monitored gas delivery process; a second AI model configured to extract features in a second input image of a golden gas delivery process; and a contrastive loss function configured to calculate a similarity between the first input image and the second input image based on outputs of the first AI model and the second AI model, and output a repeatability confidence value based on a similarity index between the first input image and the second input image.
Surgical robotic arm admittance control
Certain aspects relate to systems and techniques for surgical robotic arm admittance control. In one aspect, there is provided a system including a robotic arm and a processor. The processor may be configured to determine a force at a reference point on the robotic arm based on an output of a torque sensor and receive an indication of a direction of movement of the reference point. The processor may also determine that a component of the force is in the same direction as the direction of movement of the reference point, generate at least one parameter indicative of a target resistance to movement of the robotic arm, and control the motor, based on the at least one parameter, to move the robotic arm in accordance with the target resistance.
Surgical robotic arm admittance control
Certain aspects relate to systems and techniques for surgical robotic arm admittance control. In one aspect, there is provided a system including a robotic arm and a processor. The processor may be configured to determine a force at a reference point on the robotic arm based on an output of a torque sensor and receive an indication of a direction of movement of the reference point. The processor may also determine that a component of the force is in the same direction as the direction of movement of the reference point, generate at least one parameter indicative of a target resistance to movement of the robotic arm, and control the motor, based on the at least one parameter, to move the robotic arm in accordance with the target resistance.
Systems and methods for interfacing with a building management system
A building management system (BMS) interface system. The BMS interface system includes a user interface and a BMS controller in communication with the user interface. The BMS controller includes a processor. The processor is configured to display a graphical scheduling interface on the user interface and receive a scheduling input from the user interface. The processor is further configured to extract one or more scheduling elements from the received scheduling input and convert the scheduling elements into one or more BMS data objects. The processor is further configured to update the graphical scheduling interface displayed on the user interface. The processor is also configured to execute one or more scheduling instructions based on the received scheduling input, wherein the scheduling instructions are associated with the operation of one or more BMS devices.
Tool system
An object of the present invention is to provide a tool system allowing a tool to be controlled on a work object basis before the work is started. A tool system includes a portable tool and an identification unit. The tool includes a driving unit to operate with power supplied from a battery pack. The identification unit identifies, by a contactless method, a current work object, to which the tool is set in place, out of a plurality of work objects.
Use of eye tracking for tool identification and assignment in a robotic surgical system
A robotic surgical system includes an eye gaze sensing system in conjunction with a visual display of a camera image from a surgical work site. Detected gaze of a surgeon towards the display is used as input to the system. This input may be used by the system to assign an instrument to a control input device (when the user is prompted to look at the instrument), or it may be used as input to a computer vision algorithm to aid in object differentiation and seeding information, facilitating identification/differentiation of instruments, anatomical features or regions.