Biblio
Filters: Keyword is 1446730 [Clear All Filters]
.
2015. Automatic Parallelization of Simulink Models for Multi-core Architectures. 12th IEEE International Conference on Embedded Software and Systems.
.
2015. DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. IEEE International Conference on Automation Science and Engineering.
.
2016. Extended LTLvis Motion Planning Interface. IEEE International Conference on Systems, Man, and Cybernetics.
.
2016. Automatic Parallelization of Multi-rate Block Diagrams of Control Systems on Multi-core Platforms. ACM Transactions on Embedded Computing Systems. 16:ArticleNo15.
.
2016. Planning in Dynamic Environments Through Temporal Logic Monitoring. Workshops of the Thirtieth AAAI Conference on Artificial Intelligence: Planning for Hybrid Systems.
.
2016. Toward Modeling Concurrency and Reconfiguration in Vehicular Systems. 9th Interaction and Concurrency Experience.
.
2016. Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. IEEE International Conference on Automation Science and Engineering.
.
2017. Temporal Logic Control under Incomplete or Conflicting Information. American Control Conference.
.
2016. Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles. IEEE Intelligent Transportation Systems Conference.
.
2017. Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers. IEEE International Conference on Automation Science and Engineering.