Sökning: "Sajed Miremadi"
Hittade 2 avhandlingar innehållade orden Sajed Miremadi.
1. A Seamless Framework for Control Function Generation
Sammanfattning : As we progress in time, the dependence and inseparability of our daily lives to computer and software systems grow rapidly; some transparent to many of us. It is therefore crucial to have efficient design of correct and well-functioning computer and software systems. LÄS MER
2. Symbolic Supervisory Control of Timed Discrete Event Systems
Sammanfattning : With the increasing complexity of computer systems, it is crucial to have efficient design of correct and well-functioning hardware and software systems. To this end, it is often desired to control the behavior of systems to possess some desired properties. A specific class of systems is called discrete event systems (DES). LÄS MER