How can I implement temporal logic specification for a dynamic environment where an obstacle is movable?

25 April 2015 1 9K Report

How to implement Temporal logic specification for dynamic environment where obstacle is movable with some velocity and i want to implement it on NAO robot for indoor ?

Zol Bahri Razali

You can get the similar or apropriate answer by searching the keyword in the GOOGLE SCHOLAR page. Usually you will get the first paper similar to your keyword.

From my experience, this way will help you a lot. If you still have a problem, do not hasitate to let me know.

Kind regards, Dr ZOL BAHRI - Universiti Malaysia Perlis, MALAYSIA

BNT-BKT-BT. Available from: https://www.researchgate.net/post/BNT-BKT-BT#view=54f68badd3df3ee77c8b4638 [accessed May 7, 2015].

Badges
Science topic

Similar topics
Mathematical Sciences
Graphs

More Anil Kumar's questions See All

Which is the most efficient etching solution for nickel based alloys?

Which solution reveals the microstructure and features of nickel-based alloys?

02 March 2021 2,221 3 View

Which is the most convenient manufacturing software for Additive Manufacturing?

Which tools can be used to generate machine codes for additive manufacturing?

02 March 2021 7,220 2 View

Which is the best place in the world for the plant biotechnology research?

I am searching for a good place for the Post Doc,

02 March 2021 4,053 3 View

Which SAR dataset to use for generating coherency matrix and performing target decomposition (Description) ?

Working on chandrayaan-2 DFSAR data, there are three datasets available: 1) Slant range image data product: The slant range complex image file. Each pixel is represented by two 4-byte floating...

02 March 2021 8,481 3 View

How does one access the Cranet survey data on HRM practices?

Hello, The Cranet website does not provide any lead to the data obtained from their multinational survey on HRM practices. Any help on accessing the data would be most appreciated. Thank...

01 March 2021 9,536 3 View

Does anyone use antinuclear antibody (ANA) and anti-Phospholipid antibody ELISA kit for Non Human Primate serum samples?

I am looking for anti-nuclear antibody (ANA) and anti-Phospholipid antibody ELISA kit for Non Human Primate serum samples. Any suggestions highly appreciated. Thank you.

28 February 2021 6,512 3 View

Genome-wide gene identification protocol ?

Is there any book chapter/book, webpage or research article available to understand genome-wide gene identification?

28 February 2021 8,095 1 View

Can the problems of overfitting be solved without cross validation?

For an overfit data set the cross validation error will be much bigger than the training error. Is it true or false?

23 February 2021 3,616 2 View

Research Gate Does it help researches to publicize their scientific work ?

In my opinion, the RG site is useful in solving scientific problems and shows the researcher's ability. Besides, the separation of the H-index from the self-citations and the overall index is an...

22 February 2021 3,894 6 View

How to Study a proton NMR of Graphene prepared by Electrochemical Exfoliation technique?

I performed a Proton NMR of graphene powder prepared by electrochemical exfoliation technique. It shows some peaks. But I can't understand it.

21 February 2021 8,947 3 View

Is there a deep reason for using the squared modulus of the wave function as the probability density of the existence of the particle?

I think we were all surprised at the first time we got to know quantum mechanics that the squared modulus of the wave function is the probability density of the existence of the particle? The role...

28 February 2021 6,282 9 View

What could be reason for getting such type of graph for complex impedance in case of polymer blend films?

Its effect appears in real part of ac conductivity also. Can anyone suggest any reason behind it?

26 February 2021 3,487 3 View

Best excel chart to compare algorithms' running time?

Hi I want to compare the running time of robotic path planning algorithms. The grid size is 8X8. I have 100 scenarios of start and goal positions.. Each scenario is run in three obstacles ratio...

22 February 2021 621 1 View

Resistivity of PVD TiNx thin films vs. N2 flow?

In the PVD of TiN thin films (~100A), I've found the resistivity of the TiN films dropped from ~100 to 60um*cm with N2 flow increasing up to the metallic mode ending point; then the resistivity...

21 February 2021 1,864 2 View

How do I add a udf to Ansys fluent and does it need to be compiled before hand ?

I have a Define_CG_Motion udf written in c where do I add it to my Ansys fluent project and does it need to be compiled before that?

21 February 2021 9,347 3 View

How to implement boundary conditions in Abaqus contact problems?

Hello I am trying to simulate crawling motion of a bilayer beam using Abaqus. Kind of similar to this: https://youtu.be/os-Z3ucoFpA I am using multiphysics enabled (diffusion, deformation,...

20 February 2021 2,916 1 View

What is recommended and opened real-time or nearly real time geospatial data used in flood risk assessment and regional planning on a detailed scale?

I asked recommended real-time or nearly real-time data source for any parameters for flood risk on a microscale analysis for urban area cases in developing countries that had agglomeration urban...

18 February 2021 2,617 2 View

Unusually Busy Raman Background?

Hello, I am observing a nearly periodic background spectrum for a wide variety of SERS substrates. I see this response (attached below) for bare Au films, Cu films, and Au nanoparticles on...

15 February 2021 9,922 5 View

How to create the context-mechanism-outcome configuration (CMOc) in the realist methodology?

In the realist methodology (especially by Raymond Pawson et al), the CMOc is a common structure to explain what works, for whom, in what circumstances, and why? I'm always asked about the...

08 February 2021 2,792 1 View

How to generate MATLAB code from ANFIS model?

Dear scholars, I was wondering how can I generate MATLAB code of an ANFIS (FIS) model? I need to integrate my ANFIS (FIS)/Fuzzy logic system into another MATLAB code to render optimizations. Do...

04 February 2021 6,098 4 View