IEEE

LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code

Artificial Intelligence (AI) and Large Language Models (LLMs) have become increasingly popular over the past few years, with common applications ranging from generating images to analyzing data, and ...
Microsoft

Asynchronous Programming, Analysis and Testing with State Machines

Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...
The Wire

When Air Is Sold in Machines and Water in Bottles, the State Has Already Failed

It is part of a larger civilisational collapse, one where the state has quietly surrendered its most fundamental duty: safeguarding the commons. As the British scholar Ursula Huws warned decades ago, ...
Baltimore Times

Morgan State’s Magnificent Marching Machine Selected for the 2026 Rose Parade

Click to share on Facebook (Opens in new window) Facebook Click to share on X (Opens in new window) X Morgan State University Band at the 2026 Rose Bowl Parade. Courtesy Photo The historic invitation ...
IEEE

Security and Diagnosability of Finite State Machines Under Cyber-Attacks

Abstract: In many applications, security is a serious issue due to the high risk of cyber-attacks. An adversary can cause severe damage by providing wrong information about the system and consequently ...
PC Gamer

Ex-ASML workers reverse-engineered state of the art chipmaking machines to get China far closer than previously thought to independence from foreign tech

If this were a game of Civilization, we'd certainly be moving into the "Future Era", which the game's wiki describes as containing "marvels beyond the dreams of ancient prophets, and terrors more ...