Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263931
Mehdi Mounsif, S. Lengagne, B. Thuilot, L. Adouane
Following recent trends, it appears that robot presence within human day-to-day lives is likely to grow and become ubiquitous. As many actors are engaged in this automation effort, it is plausible that the various cultural backgrounds of these actors will result in a broad range of different robots that will nevertheless need to perform similar tasks. Due to the excessively large number of experiences samples needed to successfully train a learning-based control policy, it would be remarkably useful to be able to efficiently transfer the skills acquired by a given agent to other, structurally distinct, robots. Accordingly, the BAM (Base-Abstracted Modeling) methodology proposed in this paper is a fast transfer learning approach that relies on a clear segmentation between the task model, that is a learned policy for solving a specific task and the learned robot control policy. The evaluation on two manipulation tasks using twelve different configurations of mobile manipulators demonstrates the strong potential of this approach as the segmentation results for more robust policies than naive methods and that an efficient transfer can be done in a fraction of the initial training time.
{"title":"BAM! Base Abstracted Modeling with Universal Notice Network: Fast Skill Transfer Between Mobile Manipulators","authors":"Mehdi Mounsif, S. Lengagne, B. Thuilot, L. Adouane","doi":"10.1109/CoDIT49905.2020.9263931","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263931","url":null,"abstract":"Following recent trends, it appears that robot presence within human day-to-day lives is likely to grow and become ubiquitous. As many actors are engaged in this automation effort, it is plausible that the various cultural backgrounds of these actors will result in a broad range of different robots that will nevertheless need to perform similar tasks. Due to the excessively large number of experiences samples needed to successfully train a learning-based control policy, it would be remarkably useful to be able to efficiently transfer the skills acquired by a given agent to other, structurally distinct, robots. Accordingly, the BAM (Base-Abstracted Modeling) methodology proposed in this paper is a fast transfer learning approach that relies on a clear segmentation between the task model, that is a learned policy for solving a specific task and the learned robot control policy. The evaluation on two manipulation tasks using twelve different configurations of mobile manipulators demonstrates the strong potential of this approach as the segmentation results for more robust policies than naive methods and that an efficient transfer can be done in a fraction of the initial training time.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116281008","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263941
Karl Daher, Zeno Bardelli, M. Badaracco, E. Mugellini, D. Lalanne, Omar Abou Khaled
Humans nowadays are tending to spend too much time in front of their screens. Direct interaction between humans is falling in numbers and people are losing their empathic behaviour. By integrating empathy and emotions in everyday objects researchers can address this problem. In addition we can have a positive effect on our lives, from physical and mental health through tackling many issues, like productivity, time wasting, stress and other problems. In this article, we tackle the productivity problem by presenting the Empathic Flower Companion (EFC) that will be using the expression of emotions to help the human through their working day. It will be monitoring their time and at the same time analysing the websites they will be surfing. The concept proposed will reduce the time wasted on unproductive websites. The results show an increase of 15% in the productivity of the testers, which shows that EFC was effective in reducing the amount of time wasted.
{"title":"Empathic Flower Companion to Increase Productivity- EFC","authors":"Karl Daher, Zeno Bardelli, M. Badaracco, E. Mugellini, D. Lalanne, Omar Abou Khaled","doi":"10.1109/CoDIT49905.2020.9263941","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263941","url":null,"abstract":"Humans nowadays are tending to spend too much time in front of their screens. Direct interaction between humans is falling in numbers and people are losing their empathic behaviour. By integrating empathy and emotions in everyday objects researchers can address this problem. In addition we can have a positive effect on our lives, from physical and mental health through tackling many issues, like productivity, time wasting, stress and other problems. In this article, we tackle the productivity problem by presenting the Empathic Flower Companion (EFC) that will be using the expression of emotions to help the human through their working day. It will be monitoring their time and at the same time analysing the websites they will be surfing. The concept proposed will reduce the time wasted on unproductive websites. The results show an increase of 15% in the productivity of the testers, which shows that EFC was effective in reducing the amount of time wasted.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116562322","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263964
Dahlia Al-Janabi, M. Enache, T. Letia
Software developers use metrics to estimate the software quality before the development stage to impact early decision making at the requirement stage, development quantification, operation, and software maintenance. These metrics give knowledge of certain attributes of the software system and thus help to evaluate it objectively and give opportunities for software improvement and making plans for modifications. The application development is supposed to be performed using the OETPN based modeling method. The newly proposed metrics are: Structural Complexity (number of arcs and the number of modules), Hierarchical Complexity (if one OETPN module is created by another), Unstructuredness of OETPN Models (which is based on the number of modules, cycles and decision places), Branching Complexity (which is computed according to the reachability graph), Decision Vertex (which is computed based on the decision node of the execution graph), and the Net Complexity (the summation of all the previous complexities).
{"title":"The Quality of Programs Conceived by Object Enhanced Time Petri Nets","authors":"Dahlia Al-Janabi, M. Enache, T. Letia","doi":"10.1109/CoDIT49905.2020.9263964","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263964","url":null,"abstract":"Software developers use metrics to estimate the software quality before the development stage to impact early decision making at the requirement stage, development quantification, operation, and software maintenance. These metrics give knowledge of certain attributes of the software system and thus help to evaluate it objectively and give opportunities for software improvement and making plans for modifications. The application development is supposed to be performed using the OETPN based modeling method. The newly proposed metrics are: Structural Complexity (number of arcs and the number of modules), Hierarchical Complexity (if one OETPN module is created by another), Unstructuredness of OETPN Models (which is based on the number of modules, cycles and decision places), Branching Complexity (which is computed according to the reachability graph), Decision Vertex (which is computed based on the decision node of the execution graph), and the Net Complexity (the summation of all the previous complexities).","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123214955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263919
D. Ramin, E. Leo, L. Nicolosi, S. Spinelli, A. Brusaferri
In this work, we propose a method based on the unified particle swarm optimization (UPSO) for no-wait multi-hoist scheduling, including a collision avoidance heuristic. Conflicts due to track sharing between hoists and no-wait constraints represent major issues to be addressed. Consequently, a complex optimization problem has to be solved dynamically, to identify the best operating strategy to be executed depending on the characteristics of the current job list. A decomposition procedure has been developed to speed up the solution of the large-scale optimization problem at hand. The proposed approach is demonstrated on a real galvanic process layout, showing the improved performances achieved by the proposed heuristic compared to the monolithic approach.
{"title":"A Unified PSO-based method for multi-hoist scheduling in advanced Galvanic plants","authors":"D. Ramin, E. Leo, L. Nicolosi, S. Spinelli, A. Brusaferri","doi":"10.1109/CoDIT49905.2020.9263919","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263919","url":null,"abstract":"In this work, we propose a method based on the unified particle swarm optimization (UPSO) for no-wait multi-hoist scheduling, including a collision avoidance heuristic. Conflicts due to track sharing between hoists and no-wait constraints represent major issues to be addressed. Consequently, a complex optimization problem has to be solved dynamically, to identify the best operating strategy to be executed depending on the characteristics of the current job list. A decomposition procedure has been developed to speed up the solution of the large-scale optimization problem at hand. The proposed approach is demonstrated on a real galvanic process layout, showing the improved performances achieved by the proposed heuristic compared to the monolithic approach.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124689788","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263946
F. Liberati, A. Tortorelli, Cesar Mazquiaran, Muhammad Imran, M. Panfili
This paper discusses the problem of assembly line control and introduces an optimal control formulation that can be used to improve the performance of the assembly line, in terms of cycle time minimization, resources’ utilization, etc. A deterministic formulation of the problem is introduced, based on mixed-integer linear programming. A simple numerical simulation provides a first proof of the proposed concept.
{"title":"Optimal Control of Industrial Assembly Lines","authors":"F. Liberati, A. Tortorelli, Cesar Mazquiaran, Muhammad Imran, M. Panfili","doi":"10.1109/CoDIT49905.2020.9263946","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263946","url":null,"abstract":"This paper discusses the problem of assembly line control and introduces an optimal control formulation that can be used to improve the performance of the assembly line, in terms of cycle time minimization, resources’ utilization, etc. A deterministic formulation of the problem is introduced, based on mixed-integer linear programming. A simple numerical simulation provides a first proof of the proposed concept.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125458053","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263870
M. G. Villarreal-Cervantes, A. Rodríguez-Molina
The use of bio-inspired algorithms into controller tuning is one of the main topics in the last decades. One crucial issue when using bio-inspired algorithms to on-line tune the control system (adaptive controller tuning) is the computational time. In this work, an Asynchronous Adaptive Controller Tuning (AACT) approach is proposed to reduce the frequent activation of the tuning process, and hence, the computational cost could be reduced. This approach is based on a proposed event function, which determines the update time instant of the control parameters through the Differential Evolution algorithm. Comparative results with a Synchronous Adaptive Controller Tuning (SACT) approach are included in the study case of the speed regulation of the DC motor under the effects of uncertainties in the load. The SACT approach periodically updates the controller parameter at each sampling time. The comparative analysis indicates that the proposed AACT significantly reduces the controller parameter update without considerably increase the regulation error.
{"title":"Speed regulation of DC motors based on on-line optimum asynchronous controller tuning and differential evolution","authors":"M. G. Villarreal-Cervantes, A. Rodríguez-Molina","doi":"10.1109/CoDIT49905.2020.9263870","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263870","url":null,"abstract":"The use of bio-inspired algorithms into controller tuning is one of the main topics in the last decades. One crucial issue when using bio-inspired algorithms to on-line tune the control system (adaptive controller tuning) is the computational time. In this work, an Asynchronous Adaptive Controller Tuning (AACT) approach is proposed to reduce the frequent activation of the tuning process, and hence, the computational cost could be reduced. This approach is based on a proposed event function, which determines the update time instant of the control parameters through the Differential Evolution algorithm. Comparative results with a Synchronous Adaptive Controller Tuning (SACT) approach are included in the study case of the speed regulation of the DC motor under the effects of uncertainties in the load. The SACT approach periodically updates the controller parameter at each sampling time. The comparative analysis indicates that the proposed AACT significantly reduces the controller parameter update without considerably increase the regulation error.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121246814","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263798
K. Sunny, Mohd Adil Anwar Sheikh, S. Bhil
The recent development in the field of smart meters has resulted in a large amount of electricity consumption profile which can be forecasted and analyzed for better planning of grid such as load scheduling, demand-side management, etc. In this paper, a Dynamic Mode Decomposition (DMD) for forecasting of grid profile for a specified time period is proposed. The key feature of the DMD technique is that it utilizes the past data for the prediction of future data without the need for the system model. Once the load profile is forecasted using DMD, the peak loads and base load time period are segregated. With the help of a system operator, various energy sources can be arranged for supplying peak loads. Electric vehicles (EVs) having the advantage of mobility and smart building acting as the virtual battery is considered for providing support to the grid as compared to other renewable energy sources which generally have limitations due to environmental factors. The DMD technique for forecasting the load profile of the smart grid is tested under various test scenarios. Finally, from the results, it has been proved that EVs and the smart building seem to be the most promising solution for supporting the grid during the peak load period.
{"title":"Forecasting and Enhancing the Performance of the Electric Grid: A Dynamic Mode Decomposition approach","authors":"K. Sunny, Mohd Adil Anwar Sheikh, S. Bhil","doi":"10.1109/CoDIT49905.2020.9263798","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263798","url":null,"abstract":"The recent development in the field of smart meters has resulted in a large amount of electricity consumption profile which can be forecasted and analyzed for better planning of grid such as load scheduling, demand-side management, etc. In this paper, a Dynamic Mode Decomposition (DMD) for forecasting of grid profile for a specified time period is proposed. The key feature of the DMD technique is that it utilizes the past data for the prediction of future data without the need for the system model. Once the load profile is forecasted using DMD, the peak loads and base load time period are segregated. With the help of a system operator, various energy sources can be arranged for supplying peak loads. Electric vehicles (EVs) having the advantage of mobility and smart building acting as the virtual battery is considered for providing support to the grid as compared to other renewable energy sources which generally have limitations due to environmental factors. The DMD technique for forecasting the load profile of the smart grid is tested under various test scenarios. Finally, from the results, it has been proved that EVs and the smart building seem to be the most promising solution for supporting the grid during the peak load period.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128419259","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263844
A. Lapin, N. E. Zubov, A. Proletarskii
This paper deals with stabilizing spatial motion of a maneuverable aircraft with three controls and nine state parameters. It is required to provide specified dynamic properties of the controlled plant at minimal control actions.To solve the assigned task the modification of the Bass – Gura formula is suggested, which allows analytically synthesizing stabilizing modal control for multi-input objects and simplifies parameterization of this control.For numeric matrices describing one of flight modes of the typical maneuverable aircraft and for required dynamic properties of the closed-loop control system a parameterized analytic solution of the considering problem is obtained in the form of controller matrix. A control law providing small values of state vector components and of controls shifts is synthesized by choosing the parameters minimizing the sum of controller coefficients absolute values. The simulation results are shown.
{"title":"Parametric Minimization of Controller Matrix Norm at Stabilizing Spatial Motion of a Maneuverable Aircraft","authors":"A. Lapin, N. E. Zubov, A. Proletarskii","doi":"10.1109/CoDIT49905.2020.9263844","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263844","url":null,"abstract":"This paper deals with stabilizing spatial motion of a maneuverable aircraft with three controls and nine state parameters. It is required to provide specified dynamic properties of the controlled plant at minimal control actions.To solve the assigned task the modification of the Bass – Gura formula is suggested, which allows analytically synthesizing stabilizing modal control for multi-input objects and simplifies parameterization of this control.For numeric matrices describing one of flight modes of the typical maneuverable aircraft and for required dynamic properties of the closed-loop control system a parameterized analytic solution of the considering problem is obtained in the form of controller matrix. A control law providing small values of state vector components and of controls shifts is synthesized by choosing the parameters minimizing the sum of controller coefficients absolute values. The simulation results are shown.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"2014 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128565405","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263804
M. P. Fanti, A. M. Mangini, M. Roccotelli
In the electro-mobility sector there is a rising necessity of providing new infrastructures, services, tools and solutions to support the diffusion of electric vehicles (EVs). In this framework, this paper aims to propose an innovative service that can improve the experience of electric vehicle users by providing customized information to reduce the range anxiety risk before starting the trip. In particular, an Information Technology (IT) service based on cooperative virtual sensors (VSs) is designed to predict the charge demand by an electric vehicle, driven by a specific user, to accomplish a predefined trip. To this goal, three virtual sensors are designed as software components each one implementing an algorithm to perform a specific task. It is shown how the cooperation of the three VSs is necessary to achieve the final service objective that is to provide customized information to help the user in preparing the EV for the trip. In addition, the effectiveness of the proposed service is demonstrated through a use case implemented by the developed IT application prototype.
{"title":"An Innovative Service for Electric Vehicle Energy Demand Prediction","authors":"M. P. Fanti, A. M. Mangini, M. Roccotelli","doi":"10.1109/CoDIT49905.2020.9263804","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263804","url":null,"abstract":"In the electro-mobility sector there is a rising necessity of providing new infrastructures, services, tools and solutions to support the diffusion of electric vehicles (EVs). In this framework, this paper aims to propose an innovative service that can improve the experience of electric vehicle users by providing customized information to reduce the range anxiety risk before starting the trip. In particular, an Information Technology (IT) service based on cooperative virtual sensors (VSs) is designed to predict the charge demand by an electric vehicle, driven by a specific user, to accomplish a predefined trip. To this goal, three virtual sensors are designed as software components each one implementing an algorithm to perform a specific task. It is shown how the cooperation of the three VSs is necessary to achieve the final service objective that is to provide customized information to help the user in preparing the EV for the trip. In addition, the effectiveness of the proposed service is demonstrated through a use case implemented by the developed IT application prototype.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127543982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-06-29DOI: 10.1109/CoDIT49905.2020.9263890
J. Flochová, Jan Pivarcek, Peter Kubanda
This paper presents the model of intersection controllers using timed automata and colored Petri nets formalisms. The models include cars control, pedestrians control, vehicles detection system and failure diagnosis with subsequent control changes. The validation and verification of the models has been realized in UPPAAL Pro model-checker and CPN Tools. The proposed modeling framework is applied to real intersections located in Bratislava and Malacky, Slovakia.
{"title":"Timed Automaton and Petri Net models of Intersection Control*","authors":"J. Flochová, Jan Pivarcek, Peter Kubanda","doi":"10.1109/CoDIT49905.2020.9263890","DOIUrl":"https://doi.org/10.1109/CoDIT49905.2020.9263890","url":null,"abstract":"This paper presents the model of intersection controllers using timed automata and colored Petri nets formalisms. The models include cars control, pedestrians control, vehicles detection system and failure diagnosis with subsequent control changes. The validation and verification of the models has been realized in UPPAAL Pro model-checker and CPN Tools. The proposed modeling framework is applied to real intersections located in Bratislava and Malacky, Slovakia.","PeriodicalId":355781,"journal":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123080293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：