Design-OS: A Specification-Driven Framework for Engineering System Design with a Control-Systems Design Case

arXiv:2603.20151v2 Announce Type: replace-cross Abstract: Engineering system design -- whether mechatronic, control, or embedded -- often proceeds in an ad hoc manner, with requirements left implicit and traceability from intent to parameters largely absent. Existing specification-driven and...