Mochammad Hidayat - Academia.edu (original) (raw)
Uploads
Papers by Mochammad Hidayat
Journal of Sensor and Actuator Networks, 2021
The evolution of driving technology has recently progressed from active safety features and ADAS ... more The evolution of driving technology has recently progressed from active safety features and ADAS systems to fully sensor-guided autonomous driving. Bringing such a vehicle to market requires not only simulation and testing but formal verification to account for all possible traffic scenarios. A new verification approach, which combines the use of two well-known model checkers: model checker for multi-agent systems (MCMAS) and probabilistic model checker (PRISM), is presented for this purpose. The overall structure of our autonomous vehicle (AV) system consists of: (1) A perception system of sensors that feeds data into (2) a rational agent (RA) based on a belief–desire–intention (BDI) architecture, which uses a model of the environment and is connected to the RA for verification of decision-making, and (3) a feedback control systems for following a self-planned path. MCMAS is used to check the consistency and stability of the BDI agent logic during design-time. PRISM is used to prov...
2015 European Conference on Mobile Robots (ECMR), 2015
Robotic assistants operating in multi-floor buildings are required to use lifts to transition bet... more Robotic assistants operating in multi-floor buildings are required to use lifts to transition between floors. To reduce the need for environments to be tailored to suit robots, and to make robot assistants more applicable, it is desirable that they should make use of existing navigational cues and interfaces designed for human users. In this paper, we examine the scenario whereby a guide robot uses a lift to transition between floors in a building. We describe an experiment into combining multiple data sources, available to a typical robot with simple sensors, to determine which floor of the building it is on. We show the robustness of this approach to realistic scenarios in a busy working environment.
Photon: Jurnal Sain dan Kesehatan, 2020
Dental caries is a hard tissue disease caused by bacterial activity. Dental caries can occur in a... more Dental caries is a hard tissue disease caused by bacterial activity. Dental caries can occur in any child which can occur on a tooth surface and can extend to the deeper part of the tooth. The purpose of this study was to determine the role of parents in the prevention of dental caries in pre-school children at TK Aisyiyah 2 Pekanbaru. The type of research used is descriptive with total sampling techniques, totaling 64 respondents. Data collection tools using a questionnaire and data analysis used is univariate. The results of the study which was carried at TK Aisyiyah 2 Pekanbaru, the majority of parents' roles in preventing caries in pre-school age children were in the bad category of 62.5 %. There are 40 respondents who have a bad role in preventing the occurrence of dental caries in pre-school children. The results of this study are expected to the parents to be able to implement a clean and healthy lifestyle to prevent dental caries in pre-school children
Journal of Sensor and Actuator Networks, 2021
The evolution of driving technology has recently progressed from active safety features and ADAS ... more The evolution of driving technology has recently progressed from active safety features and ADAS systems to fully sensor-guided autonomous driving. Bringing such a vehicle to market requires not only simulation and testing but formal verification to account for all possible traffic scenarios. A new verification approach, which combines the use of two well-known model checkers: model checker for multi-agent systems (MCMAS) and probabilistic model checker (PRISM), is presented for this purpose. The overall structure of our autonomous vehicle (AV) system consists of: (1) A perception system of sensors that feeds data into (2) a rational agent (RA) based on a belief–desire–intention (BDI) architecture, which uses a model of the environment and is connected to the RA for verification of decision-making, and (3) a feedback control systems for following a self-planned path. MCMAS is used to check the consistency and stability of the BDI agent logic during design-time. PRISM is used to prov...
2015 European Conference on Mobile Robots (ECMR), 2015
Robotic assistants operating in multi-floor buildings are required to use lifts to transition bet... more Robotic assistants operating in multi-floor buildings are required to use lifts to transition between floors. To reduce the need for environments to be tailored to suit robots, and to make robot assistants more applicable, it is desirable that they should make use of existing navigational cues and interfaces designed for human users. In this paper, we examine the scenario whereby a guide robot uses a lift to transition between floors in a building. We describe an experiment into combining multiple data sources, available to a typical robot with simple sensors, to determine which floor of the building it is on. We show the robustness of this approach to realistic scenarios in a busy working environment.
Photon: Jurnal Sain dan Kesehatan, 2020
Dental caries is a hard tissue disease caused by bacterial activity. Dental caries can occur in a... more Dental caries is a hard tissue disease caused by bacterial activity. Dental caries can occur in any child which can occur on a tooth surface and can extend to the deeper part of the tooth. The purpose of this study was to determine the role of parents in the prevention of dental caries in pre-school children at TK Aisyiyah 2 Pekanbaru. The type of research used is descriptive with total sampling techniques, totaling 64 respondents. Data collection tools using a questionnaire and data analysis used is univariate. The results of the study which was carried at TK Aisyiyah 2 Pekanbaru, the majority of parents' roles in preventing caries in pre-school age children were in the bad category of 62.5 %. There are 40 respondents who have a bad role in preventing the occurrence of dental caries in pre-school children. The results of this study are expected to the parents to be able to implement a clean and healthy lifestyle to prevent dental caries in pre-school children