Building a prototype for power-aware automatic parking system, Proceedings of 2015 IEEE Int. Renewable and Sustainable Energy Conference, 2015. ,
Automating modular verification, Int. Conf. on Concurrency Theory, pp.82-97, 1999. ,
DOI : 10.21236/ada461302
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Agricultural robots for field operations: Concepts and components, Biosystems Engineering, vol.149, pp.94-111, 2016. ,
DOI : 10.1016/j.biosystemseng.2016.06.014
Timed Automata: Semantics, Algorithms and Tools, pp.87-124, 2004. ,
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701
Rich Vehicle Routing Problem, ACM Computing Surveys, vol.47, issue.2, pp.47-79, 2015. ,
DOI : 10.1016/j.tre.2010.09.010
Effective approximations for multi-robot coordination in spatially distributed tasks, Proceedings of the 2015 Int. Conf. on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.881-890, 2015. ,
Verification by Network Decomposition, CONCUR 2004 -Concurrency Theory, pp.276-291, 2004. ,
DOI : 10.1016/S1571-0661(04)00187-2
URL : https://hal.archives-ouvertes.fr/hal-00161110
Using timed automata and model-checking to simulate material flow in agricultural production systems???Application to animal waste management, Computers and Electronics in Agriculture, vol.63, issue.2, pp.183-192, 2008. ,
DOI : 10.1016/j.compag.2008.02.008
Dynamic Modeling and Identification of an Agriculture Autonomous Vehicle, IEEE Latin America Transactions, vol.14, issue.6, pp.2631-2637, 2016. ,
DOI : 10.1109/TLA.2016.7555230
Modeling and identification of the yaw dynamics of an autonomous tractor, 2013 9th Asian Control Conference (ASCC), 2013. ,
DOI : 10.1109/ASCC.2013.6606388
Functional Test Generation Using Property Decompositions for Validation of Pipelined Processors, Proceedings of the Conference on Design, Automation and Test in Europe, DATE '06 European Design and Automation Association, pp.1240-1245, 2006. ,
Use of timed automata and model-checking to explore scenarios on ecosystem models, Environmental Modelling & Software, vol.30, pp.123-138, 2012. ,
DOI : 10.1016/j.envsoft.2011.08.005
Compact data structures and state-space reduction for model-checking real-time systems, Real-Time Systems, vol.25, issue.2/3, pp.255-275, 2003. ,
DOI : 10.1023/A:1025132427497
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Distributed information gathering policies under temporal logic constraints, 2015 54th IEEE Conference on Decision and Control (CDC), pp.6803-6808, 2015. ,
DOI : 10.1109/CDC.2015.7403291
anr adap2e project reference anr-14-ce27-0004 adaptive autonomous production platform for environment, 2014. ,
Controller synthesis for timed automata, Proc. System Structure and Control, 1998. ,
Path planning: A 2013 survey, Proceedings of 2013 Int. Conf. on Industrial Engineering and Systems Management, IEEE -IESM 2013, 2013. ,
Simulation of long-term soil redistribution by tillage using a cellular automata model, Earth Surface Processes and Landforms, vol.28, issue.4, pp.35-761, 2010. ,
DOI : 10.4141/cjss95-029
Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation, SIMULATION, vol.76, issue.1, pp.22-39, 2001. ,
DOI : 10.1177/003754970107600102