The Experts below are selected from a list of 63 Experts worldwide ranked by ideXlab platform
Lawrence C. Paulson - One of the best experts on this subject based on the ideXlab platform.
-
Formal verification of analog circuits in the presence of noise and process variation
2010 Design Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010Co-Authors: Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. PaulsonAbstract:We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we prOpose to use stochastic differential equations (SDE) to model the designs. We find a closed form solution for the SDEs, then integrate the device variation due to the 0.18¿m fabrication process and verify prOperties using MetiTarski. We illustrate the prOposed approach on an Inverting Op-Amp Integrator and a Band-Gap reference bias circuit.
-
DATE - Formal verification of analog circuits in the presence of noise and process variation
2010 Design Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010Co-Authors: Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. PaulsonAbstract:We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we prOpose to use stochastic differential equations (SDE) to model the designs. We find a closed form solution for the SDEs, then integrate the device variation due to the 0.18µm fabrication process and verify prOperties using MetiTarski. We illustrate the prOposed approach on an Inverting Op-Amp Integrator and a Band-Gap reference bias circuit.
Gourab Sen Gupta - One of the best experts on this subject based on the ideXlab platform.
-
SAS - Investigation of force sensors for use in bipedal humanoid dynamic gait generation
2014 IEEE Sensors Applications Symposium (SAS), 2014Co-Authors: Rick Pierce, Gourab Sen GuptaAbstract:A humanoid robot is being develOped for implementing and evaluating dynamic gait algorithms. Force sensors are placed on the bottom of the feet of the robot to provide feedback for the control system. The use of resistive force sensors is being investigated as an inexpensive and lightweight alternative to multi-axis force/torque sensors. However, resistive force sensors have a more limited accuracy and response time. Sensors from three companies have been tested: Sensitronic, Interlink, and Inaba Rubber. The sensors were tested with a TA.XTPlus texture analyzer, which is capable of applying specific forces at different rates. The sensors were tested for repeatability of response, drift, and response time to both application and removal of the force. An Inverting Op-amp is used to convert the force measurement of the sensor to an output voltage, which is read by an oscilloscOpe. The force measurements from texture analyzer and the voltage output from the oscilloscOpe are recorded digitally. The data obtained from the measurements is analyzed and the potential uses and limits of the sensors as feedback mechanisms in a bipedal humanoid robot are discussed.
-
Investigation of force sensors for use in bipedal humanoid dynamic gait generation
2014 IEEE Sensors Applications Symposium SAS 2014 - Proceedings, 2014Co-Authors: Rick Pierce, Gourab Sen GuptaAbstract:A humanoid robot is being develOped for implementing and evaluating dynamic gait algorithms. Force sensors are placed on the bottom of the feet of the robot to provide feedback for the control system. The use of resistive force sensors is being investigated as an inexpensive and lightweight alternative to multi-axis force/torque sensors. However, resistive force sensors have a more limited accuracy and response time. Sensors from three companies have been tested: Sensitronic, Interlink, and Inaba Rubber. The sensors were tested with a TA.XTPlus texture analyzer, which is capable of applying specific forces at different rates. The sensors were tested for repeatability of response, drift, and response time to both application and removal of the force. An Inverting Op-amp is used to convert the force measurement of the sensor to an output voltage, which is read by an oscilloscOpe. The force measurements from texture analyzer and the voltage output from the oscilloscOpe are recorded digitally. The data obtained from the measurements is analyzed and the potential uses and limits of the sensors as feedback mechanisms in a bipedal humanoid robot are discussed.
Rajeev Narayanan - One of the best experts on this subject based on the ideXlab platform.
-
Formal verification of analog circuits in the presence of noise and process variation
2010 Design Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010Co-Authors: Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. PaulsonAbstract:We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we prOpose to use stochastic differential equations (SDE) to model the designs. We find a closed form solution for the SDEs, then integrate the device variation due to the 0.18¿m fabrication process and verify prOperties using MetiTarski. We illustrate the prOposed approach on an Inverting Op-Amp Integrator and a Band-Gap reference bias circuit.
-
DATE - Formal verification of analog circuits in the presence of noise and process variation
2010 Design Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010Co-Authors: Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. PaulsonAbstract:We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we prOpose to use stochastic differential equations (SDE) to model the designs. We find a closed form solution for the SDEs, then integrate the device variation due to the 0.18µm fabrication process and verify prOperties using MetiTarski. We illustrate the prOposed approach on an Inverting Op-Amp Integrator and a Band-Gap reference bias circuit.
Rick Pierce - One of the best experts on this subject based on the ideXlab platform.
-
SAS - Investigation of force sensors for use in bipedal humanoid dynamic gait generation
2014 IEEE Sensors Applications Symposium (SAS), 2014Co-Authors: Rick Pierce, Gourab Sen GuptaAbstract:A humanoid robot is being develOped for implementing and evaluating dynamic gait algorithms. Force sensors are placed on the bottom of the feet of the robot to provide feedback for the control system. The use of resistive force sensors is being investigated as an inexpensive and lightweight alternative to multi-axis force/torque sensors. However, resistive force sensors have a more limited accuracy and response time. Sensors from three companies have been tested: Sensitronic, Interlink, and Inaba Rubber. The sensors were tested with a TA.XTPlus texture analyzer, which is capable of applying specific forces at different rates. The sensors were tested for repeatability of response, drift, and response time to both application and removal of the force. An Inverting Op-amp is used to convert the force measurement of the sensor to an output voltage, which is read by an oscilloscOpe. The force measurements from texture analyzer and the voltage output from the oscilloscOpe are recorded digitally. The data obtained from the measurements is analyzed and the potential uses and limits of the sensors as feedback mechanisms in a bipedal humanoid robot are discussed.
-
Investigation of force sensors for use in bipedal humanoid dynamic gait generation
2014 IEEE Sensors Applications Symposium SAS 2014 - Proceedings, 2014Co-Authors: Rick Pierce, Gourab Sen GuptaAbstract:A humanoid robot is being develOped for implementing and evaluating dynamic gait algorithms. Force sensors are placed on the bottom of the feet of the robot to provide feedback for the control system. The use of resistive force sensors is being investigated as an inexpensive and lightweight alternative to multi-axis force/torque sensors. However, resistive force sensors have a more limited accuracy and response time. Sensors from three companies have been tested: Sensitronic, Interlink, and Inaba Rubber. The sensors were tested with a TA.XTPlus texture analyzer, which is capable of applying specific forces at different rates. The sensors were tested for repeatability of response, drift, and response time to both application and removal of the force. An Inverting Op-amp is used to convert the force measurement of the sensor to an output voltage, which is read by an oscilloscOpe. The force measurements from texture analyzer and the voltage output from the oscilloscOpe are recorded digitally. The data obtained from the measurements is analyzed and the potential uses and limits of the sensors as feedback mechanisms in a bipedal humanoid robot are discussed.
B. Bhuvan - One of the best experts on this subject based on the ideXlab platform.
-
TENCON - An alternate, discrete-time approach to the analysis of continuous-time negative feedback systems
TENCON 2019 - 2019 IEEE Region 10 Conference (TENCON), 2019Co-Authors: P. Anand, B. BhuvanAbstract:A discrete-time model based on intuition which helps in understanding the negative feedback system is presented. The model treats the forward path as a lossy-integrator. The system behavior is predicted from repeated iterations in the prOposed approach. A study on the selection of the iteration-interval is performed using the model on a non-Inverting Op amp circuit. The results obtained follow similar trends predicted by the continuous-time model reported in literature. The prOposed model shall be used by the readers who prefer discrete-time approaches over continuous-time approaches for intuitive analysis of negative feedback systems.
-
An alternate, discrete-time approach to the analysis of continuous-time negative feedback systems
TENCON 2019 - 2019 IEEE Region 10 Conference (TENCON), 2019Co-Authors: P. Anand, B. BhuvanAbstract:A discrete-time model based on intuition which helps in understanding the negative feedback system is presented. The model treats the forward path as a lossy-integrator. The system behavior is predicted from repeated iterations in the prOposed approach. A study on the selection of the iteration-interval is performed using the model on a non-Inverting Op amp circuit. The results obtained follow similar trends predicted by the continuous-time model reported in literature. The prOposed model shall be used by the readers who prefer discrete-time approaches over continuous-time approaches for intuitive analysis of negative feedback systems.
