Conduct research in the basic science of systems, using the Language-Oriented Paradigm. Designing and implementing hybrid computational models and formal languages to analyze and synthesize system properties. Creating and operating data-intensive tools to manage sensor/actuator inputs and computational results.
Created a multi-paradigm executable meta-language, Object-Process Network (OPN), a tool that supports the analysis and synthesis of engineering systems. Later developed an algebraic formulation of the language, resulting in a many-sorted algebra that prescribes the mathematical nature of system description languages. This many-sorted algebra is called, Algebra of Systems (AoS), wh...
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
