Abstract: Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.

Abstract: Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.

Abstract: Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.

Abstract: Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.

Abstract: Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.

Abstract: Embodiments of the present invention relate to methods, devices, and systems to monitor activity. One method to monitor activity includes monitoring a sensor activated by an individual. The method also includes recording activation of the sensor, determining a behavior routine of the individual based on recorded activations of the sensor and analyzing the recorded sensor activations to determine a behavior routine. The method also includes identifying a change in the behavior routine based on the analysis of the recorded sensor activations.

Abstract: Embodiments of the present invention relate to methods, devices, and systems to monitor activity. One method to monitor activity includes monitoring a sensor activated by an individual. The method also includes recording activation of the sensor, determining a behavior routine of the individual based on recorded activations of the sensor, and analyzing the recorded sensor activations to determine a behavior routine. The method also includes identifying a change in the behavior routine based on the analysis of the recorded sensor activations.

Abstract: Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.

Abstract: The present disclosure includes methods, devices, and systems for inferring system-level properties. One or more embodiments include generating a constraint model based on a system model having a number of components at different levels of abstraction and on a number of verified component properties. The constraint model can include a number of mission constraints modeling one or more mission requirements, a number of system constraints modeling one or more system-level properties, mid a number of component constraints modeling one or more component properties. One or more embodiments can include analyzing the constraint model with a constraint solver to determine whether one or more particular system-level properties can be inferred from the constraint model.

Abstract: The present disclosure includes methods, devices, and systems for inferring system-level properties. One or more embodiments include generating a constraint model based on a system model having a number of components at different levels of abstraction and on a number of verified component properties. The constraint model can include a number of mission constraints modeling one or more mission requirements, a number of system constraints modeling one or more system-level properties, mid a number of component constraints modeling one Or more component properties. One or more embodiments can include analyzing the constraint model with a constraint solver to determine whether one or more particular system-level properties can be inferred from the constraint model.