Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
This note describes a sample implementation of automated negotiations in an e-commerce modeling multi-agent system. A specific set of rules is used for enforcing negotiation mech...
Structured embedded databases are currently becoming an integrated part of embedded systems, thus, enabling higher standards in system automation. These embedded databases are typ...
Jayaprakash Pisharath, Alok N. Choudhary, Mahmut T...
We discuss a physical implementation of the Crystalline robot system. Crystalline robots consist of modules that can aggregate together to form distributed robot systems. Crystall...
An important system design task is the partitioning of system functionality for implementation among multiple system components, including partitions among hardware and software c...