Research
The overall goal of the CPS Lab is to design and analyze algorithms and
cyber-physical systems to support a wide range of applications.
-
Current Research Projects
- Scientific Computing:
- WinDAM - Embankment dam breach processes
- Internal erosion model validation
- TABS - Thermally-activated battery simulator
- Language translators for legacy USDA software
- Distributed Algorithms and Systems:
- Synchronization primitives and distributed algorithms
- Model checking distributed and real-time algorithms
- Byzantine and stochastic model checking
- Cyber-Physical Systems:
- Single seed analysis - system and algorithms
- CAN controllers - security and analysis
- Building control systems - safety and security
-
Graduate Student Team
- Kai Zhao (M.S.,Ph.D.)
- Anthony Atkinson (M.S.)
- Querriel Arvy Mendoza (M.S.,Ph.D.)
- Shaziya Mohammed (M.S.)
- Pavan Kumar Pativada (M.S.)
-
Recent Related Publications for Current Projects:
WinDAM - Embankment Dam Breach Processes
(See the USDA HERU embankment dam breach processes or
www.damsafety.info for more details)
-
Sensitivity analysis of internal erosion models for dam safety
Mitchell L. Neilsen and Chendi Cao
6th Annual International Conference on Computational Science and Computational Intelligence
pdf
-
Flexible architecture for analysis of water control structures
Chendi Cao and Mitchell Neilsen
31st International Conference on Computer Applications in Industry and Engineering
New Orleans, LA, Oct. 2018
pdf
phenoApps - Mobile Apps for High-throughput Phenotyping
(See the phenoApps project page for more details)
-
Intercross: a breeding application for high-throughput phenotyping
Chaney Courtney and Mitchell Neilsen
32nd International Conference on Computer Applications in Industry and Engineering
Vol. 63: pp. 72-79, Sept. 26, 2019
https://doi.org/10.29007/2hqr
-
Augmented reality for high-throughput phenotyping
Shanshan Wu and Mitchell L. Neilsen
17th International Conference on Scientific Computing
July 29-31, 2019
pdf
-
Augmented reality for high-throughput phenotyping
Shanshan Wu
M.S. Thesis, Kansas State University, May 2019
-
A seed segmentation contour generator and counter
Chaney Courtney and Mitchell Neilsen
31st International Conference on Computer Applications in Industry and Engineering, New Orleans, LA, Oct. 2018
pdf
Language translators
-
Vetting anti-patterns in Java to Kotlin translation
Chaney Courtney and Mitchell Neilsen
34th International Conference on Computers and Their Applications
Mar. 18-20, 2019
https://doi.org/10.29007/cgwr
Cyber-Physical Systems
-
Integrating field-based heat tents and cyber-physical system technology to phenotype high night-time temperature impact on winter wheat
Nathan T Hein, Dan Wagner, Raju Bheemanahalli, David Ĺ ebela, Carlos Bustamante, Anuj Chiluwal, Mitchell L Neilsen, SV Krishna Jagadish
Plant Methods
Vol. 15, No. 41 (2019)
https://doi.org/10.1186/s13007-019-0424-x
Apr. 24, 2019
-
Prototype implementation of temperature control system with CAN and FreeRTOS on STM32F407 Discovery boards
Venkat Margapuri and Mitchell Neilsen
32nd International Conference on Computer Applications in Industry and Engineering
Vol. 63: pp. 130-139, Sept. 26, 2019
https://doi.org/10.29007/w9nq
-
TABS: A thermal battery desktop design tool
S. Roberts, C. Jove-Colon, H. Moffat, M. Neilsen, E. Piekos, B. Shroeder, B. Trembacki, and T. Voskuilen
48th Annual Power Sources Conference, Denver, CO, June 2018
pdf
Real-time Model Checking
-
Puzzles for learning real-time model checking
Mitchell Neilsen
International Conference on Frontiers in Education, July 2018
pdf
-
Two-players games for learning real-time model checking
Mitchell Neilsen
5th Annual Conference on Computational Science and Computational Intelligence, Dec. 2018
pdf